Mr+t:
• Nechť r je RV nad S a Mr = (Qr, S, Rr, sr, {fr}) je KA pro který platí L(Mr) = L(r).
• Nechť t be RV nad S a Mt = (Qt, S, Rt, st, {ft}) je KA pro který platí L(Mt) = L(t).
• Potom pro RV r + t existuje ekvivalentní KA Mr+t
Důkaz: Nechť Qr Ç Qt = Æ; s, f  Ï Qr È Qt.
s,
Mr+t = (Qr È Qt È {s, f } , S, Rr È Rt
fr
ft
...
Mr:
sr
...
Mt:
st
s
f
fr
ft
{f })
È {s ® sr,
e
s ® st,
e
ft ® f },
e
fr ® f,
e
Převod z RV na KA: Sjednocení 3/5
23/29
Popis konstrukce: