Original title:
Modifikované zásobníkové automaty
Translated title:
Modified Pushdown Automata
Authors:
Hromádka, David ; Solár, Peter (referee) ; Meduna, Alexandr (advisor) Document type: Bachelor's theses
Year:
2011
Language:
cze Publisher:
Vysoké učení technické v Brně. Fakulta informačních technologií Abstract:
[cze][eng]
Tato práce zavádí omezené Hromádkovy automaty jako rozšíření zásobníkových automatů. Toto rozšíření spočívá v~tom, že automat může za běhu vytvářet nové zásobníky, vkládat do nich symboly vstupní abecedy, spojovat je a porovnávat se vstupním řetězcem. Počet takto vytvořených zásobníků je omezen zvolenou konstantou n . Dále tato práce popisuje implementaci aplikace, která činnost těchto automatů realizuje a hledá posloupnost derivačních kroků, kterými určitý omezený Hromádkův automat přijme zadaný vstupní řetězec.
This work introduces limited Hromádka's automata as an extension of classical pushdown automata. This extension means that the automaton is able to create new pushdowns, insert input symbols into them, join them and compare with the input string in run time. The number of such pushdowns is limited by choosen constant n . This work also describes the implementation of the application, that realizes the activity of this automata and is looking for the sequence of derivational steps, by which the automaton accepts the input string.
Keywords:
automaton; formal language; pure pushdown; pushdown; pushdown automaton; automat; formální jazyk; zásobník; zásobníkový automat; čistý zásobník
Institution: Brno University of Technology
(web)
Document availability information: Fulltext is available in the Brno University of Technology Digital Library. Original record: http://hdl.handle.net/11012/55717