Mr*:
• Nechť r je RV nad S a Mr = (Qr, S, Rr, sr, {fr}) je KA pro který platí L(Mr) = L(r).
• Potom pro RV r* existuje ekvivalentní KA Mr* 
Důkaz:  Nechť s, f Ï Qr.
Mr* = (Qr È {s, f}, S, Rr
fr
...
Mr:
sr
s
f
{f})
e
fr ® f,
e
fr ® sr,
e
s ® f },
s,
fr
È {s ® sr,
e
Převod z RV na KA: Iterace 4/5
24/29
Popis konstrukce: