1 / 11

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

Zásobníkový automat s omezeným obsahem zásobníku. Ing. Zbyněk Křivka krivka@fit.vutbr.cz Školitel: Doc. Alexander Meduna. 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

zahina
Télécharger la présentation

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

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Zásobníkový automat s omezeným obsahem zásobníku Ing. Zbyněk Křivka krivka@fit.vutbr.cz Š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*} jemnož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

  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. 653-664 • Meduna A., Kolář D.: One-Turn Regulated Pushdown Automata and Their Reduction, Fundamenta Informatica, roč. 2002, č. 16, str. 399-405 • Meduna, A.: Automata and Languages, Springer, London, 2000, ISBN 1-85233-074-0

More Related