Zsobnkov automat Konen automat i nedeterministick konen automat
Zásobníkový automat • Konečný automat i nedeterministický konečný automat umí řešit tytéž úlohy, akorát s různou efektivitou. • Nazývají se regulární úlohy. • Existují i úlohy neregulární, například rozpoznat symetrickou posloupnost.
Zásobníkový automat • Obsahuje navíc neomezenou paměť – zásobník s přístupem LIFO.
Zásobníkový automat • • • Konečná množina vnitřních stavů Q Konečná vstupní abeceda A Konečná zásobníková abeceda Z Množina koncových stavů K Počáteční stav q 0 Přechodová funkce p z Qx. Ax. Z do Qx. Z*
Zásobníkový automat • V každém taktu se rozhoduje podle vnitřního stavu, čteného symbolu a symbolu na vrchu zásobníku. • V každém taktu přejde do nového vnitřního stavu. • V každém taktu může něco uložit na zásobník (také nic, nebo to, co tam bylo)
Zásobníkový automat pro rozpoznávání posloupností pcp. T • • • Q={l, p, n} A={0, 1, c} Z={0, 1} q 0=l L K={p} P P. fce N 0, 0 0, 1 1, 0 1, 1 C, 0 C, 1 L, 0 L, 1 P, 0 P, 1 P, - N, - P, -
Nedeterministický zásobníkový automat pro rozpoznávání posloupností pp. T • • • Q={l, p, n} A={0, 1} Z={0, 1} q 0=l L K={p} P. fce P N 0, 0 L, 0 P, - 0, 1 L, 0 P, 0 1, 0 L, 1 P, 1 N, - 1, 1 L, 1 P, -
Domácí úkol • Navrhněte (deterministický) zásobníkový automat pro abecedu 0, 1, který by rozpoznával slova se stejným počtem nul a jedniček. • Návrh pošlete do pátku na vanicek@fsv. cvut. cz
- Slides: 7