Prezentace se nahrává, počkejte prosím

Prezentace se nahrává, počkejte prosím

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

Podobné prezentace


Prezentace na téma: "Zásobníkový automat s omezeným obsahem zásobníku Ing. Zbyněk Křivka Školitel: Doc. Alexander Meduna."— 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, q F, ε), u = suffix(w), q  Q, q F  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)) = {a n b n c n | 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, stavVstupPoužiji přechody #, saabbcc1, 2 #cc, saabbcc3, 4 #ccaa, sbbcc5 #ccaa , sbbcc6 (L(G)  stejný počet a, c) #ccaa, qbbcc7, 7 #cc, qcc8, 8 #, q9, fVě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 L 0

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


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

Podobné prezentace


Reklamy Google