Zásobníkový automat s omezeným obsahem zásobníku

Prezentace na téma: "Zásobníkový automat s omezeným obsahem zásobníku"— Transkript prezentace:

1 Zásobníkový automat s omezeným obsahem zásobníku
Ing. Zbyněk Křivka Školitel: Doc. Alexander Meduna

2 Motivace, Historie, Vývoj
2 hlavní přístupy: gramatiky vs. automaty Kontext práce: 70. Léta – vznik gramatik s řízeným přepisováním zvyšování síly (regulární řídící jazyk) 2000, 2002 – Meduna, Kolář – řízené automaty regulární řídící jazyk nestačí pro zvýšení síly PDA 2004 – Meduna, Křivka – omezované automaty místo řízení, omezování obsahu zásobníku = CRPDA

3 Klasický zásobníkový automat
M = (Q, , , R, s, #, F)   , s  Q, #  , F  Q R pravidla/přechody tvaru:   Q    {}  *  Q např.: #sa  bbq Obecně povolen nedeterminismus L(PDA) = CF

4 Definice CRPDA(X) Nechť K(M, w) = {  | M=(Q, , , R, s, S, F), w*, wL(M), posloupnost přechodů (S, s, w)├* (, q, u), že  posloupnost přechodů (, q, u)├* (F, qF, ε), u = suffix(w), q Q, qF  F, ,F  *} je množina možných obsahů zásobníku automatu M při analýze věty w a nechť  je omezující jazyk. Pak L(M, ) = { w | w  *, w L(M), K(M, w)   } je jazyk přijímaný zásobníkovým automatem M s omezeným obsahem zásobníku jazykem  . Množinu jazyků přijímaných tímto automatem označme CRPDA(X), kde X {REG, LIN} a   X.

5 Schéma – CRPDA(REG)

6 Věta: CRPDA(REG) = CF Princip důkazu: převod CRPDA(REG) na PDA
REG reprezentován KA Stavy KA zakódovány do nových zásobníkových symbolů v novém PDA

7 Zhodnocení CRPDA(REG)
náročná manuální syntéza omezujícího KA možnost přenést část práce přechodů zásobníkového automatu na omezující KA časová náročnost vzroste o simulaci KA a obsluhu pomocného zásobníku Modifikace: kontrola obsahu zásobníku jen při změně zásobníkového stavu

8 Př. L(M,L(G)) = {anbncn | n1}
M = (Q, , {#, }, R, #, s, {f}) R = { 1) #s#cs, 2) csccs, 3) csacas, 4) asaaas, 5) asas, 6) sq, 7) aqbq, 8) cqcq, 9) #qf } G = (N, T, P, S) N = {S, X, Y}, T = {a, c, #, }, P = { S  #cX | # | , X  cXa | cX | , S  #cYa, Y  cYa |  } Dodatek k zás. automatu M: Q = {s, q, f},  = {a, b, c}

9 Př.(pokrač.) příjem věty: aabbcc
Zásobník, stav Vstup Použiji přechody #, s aabbcc 1, 2 #cc, s 3, 4 #ccaa, s bbcc 5 #ccaa, s 6 (L(G)  stejný počet a, c) #ccaa, q 7, 7 #cc, q cc 8, 8 #, q 9 , f Věta aabbcc přijata!

10 Závěr Výsledek práce: CRPDA(REG) = CF  CRPDA(LIN)  RE
Hypotéza: PS: CF(LIN)  RE CRPDA(LIN) = RE Praxe – neprobádáno: Méně významné, asi horší než řízené PDA Využití?: Studium nedeterminismu, jeho minimalizace auto-konstrukce automatu pro L0

11 Reference Meduna A., Kolář D.: Regulated Pushdown Automata, In: Acta Cybernetica, roč. 2000, č. 4, str Meduna A., Kolář D.: One-Turn Regulated Pushdown Automata and Their Reduction, Fundamenta Informatica, roč. 2002, č. 16, str Meduna, A.: Automata and Languages, Springer, London, 2000, ISBN