Deep Pushdown Automata and Their Restricted Versions

Autor:	Charvát, Lucie
Jazyk:	angličtina
Rok vydání:	2017
Předmět:	pushdown alphabet reduction redukce zásobníkové abecedy Hluboké zasobníkové automaty Deep pushdown automata
Druh dokumentu:	masterThesis
Popis:	Pro přirozené číslo n, n-expandovatelné hluboké zasobníkové automaty vždy obsahují maximálně n výskytů nevstupních symbolů v jejich zásobníku v průběhu jakékoli kompilace. Jako hlavní výsledek, tato práce demonstruje, že tyto automaty mají stejnou vyjadřovací sílu jako automaty s #, nacházející pouze na dně zásobníku, a jediným dalším nevstupním symbolem. Z tohoto závěru vyplývá nekonečná hierarchie jazyků přijímaných těmito automaty.
Databáze:	Networked Digital Library of Theses & Dissertations
Externí odkaz:	http://www.nusl.cz/ntk/nusl-363840 Zobrazit plný text záznamu