Teoreem: Regularsete keelte hulk on kinnine ühendi suhtes. T: Aktsepteerigu automaat N1 = (Q1,Σ,δ1,Q10,F1) keelt A1 ja automaat N2 = (Q2,Σ,δ2,Q20,F2) keelt A2. Eeldame, et keeltel pole ühiseid olekuid. Ühendi A1 ∪ A2 aktsepteerib lõplik automaat N=(Q;Σ,δ,Q0,F), kus: • Q = {q0} ∪ Q1 ∪ Q2, kus q0 on uus olek; • Σ on sama, mis N1-l ja N2-l; • q0 on automaadi N lähteolek; • lõppolekute hulk F = F1 ∪F2; Teoreem: Regulaarsete keelte hulk on kinnine konkatenatsiooni suhtes. T: Aktsepteerigu automaat N1 = (Q1,Σ,δ1,Q10,F1) keelt A1 ja automaat N2 = (Q2,Σ,δ2,Q20,F2) keele A2. Eeldame, et keeltel pole ühiseid olekuid. Keelt A1◦A2 aktsepteerib lõplik automaat N=(Q;Σ,δ,Q10,F2), mille konstrueerime järgmiselt: • Q = Q1 ∪Q2; • Σ on sama, mis N1-l ja N2-l; • N lähteolekute hulk on sama, mis automaadil N1; • N lõppolekute hulk on sama, mis automaadil N2; Teoreem: Regulaarsete keelte hulk on kinnine sulundi suhtes.
collation] ...]
[HAVING
annaabi.ee 
