Mr.t:
Převod z RV na KA: Konkatenace 2/5
• Nechť r je RV nad S a Mr = (Qr, S, Rr, sr, {fr}) je KA  pro který platí L(Mr) = L(r).
• Nechť t je 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 = Æ.
Mr.t = (Qr È Qt, S, Rr È Rt
fr
ft
...
Mr:
sr
...
Mt:
st
fr
ft
sr,
È {fr ® st},
e
{ft})
22/29
Popis konstrukce: