Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
KAPITOLA 4. BEZKONTEXTOVÉ JAZYKY A ZÁSOBNÍKOVÉ AUTOMATY78<br />
Cvičení 4.8.12 Do Chomského normální formy převeďte gramatiku<br />
kde P obsahuje pravidla<br />
G = ({S, T, L}, {a, b, +, −, ∗, /, [, ]}, P, S)<br />
S → T + S | T − S | T<br />
T → L ∗ T | L/T | L<br />
L → [S] | a | b<br />
Cvičení 4.8.13 Gramatiku G = ({S, A, B}, {a, b}, P, S) s pravidly<br />
S → Ba | Ab<br />
A → Sa | AAb | a<br />
B → Sb | BBa | b<br />
převeďte do Greibachové normální formy.<br />
4.9 Základní definice zásobníkového automatu<br />
Zásobníkový automat je jednocestný nedeterministický automat, jenž je opatřen<br />
zásobníkem reprezentujícím nekonečnou paměť. Schéma zásobníkového automatu<br />
je uvedeno na obr. 4.14.<br />
a 1<br />
. . .<br />
a 2<br />
Z 1<br />
a n<br />
Vstupní páska<br />
Čtecí<br />
hlava<br />
✻<br />
Řídicí<br />
jednotka<br />
Z 2<br />
.<br />
Zásobník<br />
Z m<br />
Obrázek 4.14: Schéma zásobníkového automatu<br />
Vstupní páska je rozdělena na jednotkové záznamy, každý záznam obsahuje<br />
právě jeden vstupní symbol. Obsah jednotkového záznamu může být čten čtecí<br />
hlavou, nemůže však být přepsán (read only input tape). V určitém časovém<br />
okamžiku může čtecí hlava zůstat na daném záznamu, nebo se posune o jeden<br />
záznam doprava (jednocestný automat). Konečná řídící jednotka realizuje operace<br />
posuvu čtecí hlavy a ukládání informace do zásobníku prostřednictvím funkce<br />
přechodů definované nad vstupní abecedou, množinou stavů řídící jednotky a<br />
vrcholem zásobníku.<br />
Definice 4.16 Zásobníkový automat P je sedmice<br />
P = (Q, Σ, Γ, δ, q 0 , Z 0 , F ), kde