Sinteza automata

Zbir automata

Neka su A = (S1 , , 1 , q1 , F1 ) i B = (S2 , , 2 , q2 , F2 ) automati, pri qemu je S1 S2 = . Onda

automat C = (S, , , q0 , F ) takav da je L(C) = L(A) + L(B) konstruixemo na sledei naqin:

S = S1 S2 {q0 };
F = F1 F2 {q0 } ako q1 F1 ili q2 F2 , ili
F = F1 F2 inaqe;
(q0 , x) = (q1 , x) (q2 , x),
(q, x) = 1 (q, x), ako q S1 i
(q, x) = 2 (q, x), ako q S2 .

Objaxee: Dodajemo novo stae q0 koje e biti poqetno stae novog automata. Defin-
ixemo dopuujui 1 i 2 tako da se q0 ponaxa kao poqetna staa starih automata, i q0 e
biti zavrxno stae novog automata ako je bar jedno od staa q1 i q2 zavrxno stae u svom
automatu.

Proizvod automata

Neka su A = (S1 , , 1 , q1 , F1 ) i B = (S2 , , 2 , q2 , F2 ) automati, pri qemu je S1 S2 = . Onda

automat C = (S, , , q1 , F ) takav da je L(C) = L(A) L(B) konstruixemo na sledei naqin:

S = S1 S2 ;
F = F1 F2 ako q2 F2 , ili
F = F2 inaqe;
(q, x) = 1 (q, x), ako s S1 \ F1 ,
(q, x) = 1 (q, x) 2 (q2 , x), ako q F1 i
(q, x) = 2 (q, x), ako q S2 .

Objaxee: Poqetno stae novog automata e biti poqetno stae prvog automata. Za-
vrxna staa su zavrxna staa prvog i drugog automata ako je q2 zavrxno stae, odnosno
zavrxna staa drugog automata ako q2 nije zavrxno stae drugog automata. Definixemo
dopuujui 1 i 2 tako da se svako zavrxno stae prvog automata ponaxa kao poqetno stae
drugog automata.

Zvezdirae automata

Neka su A = (S1 , , 1 , q1 , F1 ) automat. Onda automat C = (S, , , q0 , F ) takav da je L(C) =

L(A) konstruixemo na sledei naqin:

S = S1 {q0 };
F = F1 F1 {q0 };
(q0 , x) = (q1 , x),
(q, x) = 1 (q, x), ako q S1 \ F1 i
(q, x) = 1 (q, x) 1 (q1 , x), ako q F1 .

Objaxee: Dodajemo novo stae q0 koje e biti poqetno i zavrxno stae novog automata.
Definixemo dopuujui 1 tako da se q0 i svako zavrxno stae starog automata ponaxa
kao poqetno stae starog automata.