Til delopgave (c) om invers homomorfi:
Bevis og anvend dette lemma:
1
*(q,x)=
*(q,h(x)) for alle strenge x og alle tilstande q
1*(q,x)=*(q,h(x))
for alle strenge x og alle tilstande q
1*(q,x)=*(q,h(x))
for alle strenge x og alle tilstande q