*Hmpf* Typologen und Regeln…
Also (phonologische) Regeln haben generell die Form
x -> y / z
wobei x zu y wird, wenn z gilt.
Auslautverhärtung mit Morphembezug wird dann entsprechend so dargestellt:
[-son, -cont, +sth] -> [-son, -cont, +sth] / __$
wbei das $ für "Morphemgrenze" steht, die Merkmale [-son, -cont] die Klasse der Plosive eindeutig beschreibt und das Mermal [+/-sth] den Bezug zur Stimmhaftigkeit herstellt. (Ich bin mir nicht sicher, ob das $ standard ist, ich meine es aber mal gelesen zu haben, manche lassen aber auch das + gelten). Der Unterstrich __ kennzeichnet die Position, an der das sich Verändernde auftauchen muss, damit es verändert wird, in dem Falle also vor der Morphemgrenze.
Bedenke aber, dass sich ALV z.B. im Deutschen nicht an Morphemgrenzen, sondern an Silbengrenzen zeigt. Das Symbol für Silbengrenzen in der Regelnotation ist der Punkt „.“. Auch wäre die Regel wahrscheinlich zu wenig mächtig, da auch Phonemcluster auslautverhärten (/jaːdg/ -> [jaːkt]), was sich aber in der Notation so nicht darstellen lässt.