Original title:
Syntaktická analýza založená na regulovaných automatech
Translated title:
Parsing Based on Regulated Automata
Authors:
Genčúrová, Ľubica ; Martiško, Jakub (referee) ; Meduna, Alexandr (advisor) Document type: Bachelor's theses
Year:
2016
Language:
cze Publisher:
Vysoké učení technické v Brně. Fakulta informačních technologií Abstract:
[cze][eng]
Tato práce se zabývá návrhem, aplikovatelností v praxi a implementací metody syntaktické analýzy založené na zásobníkových automatech, které regulují použití jejich pravidel řídícím lineárním jazykem. Tyto automaty mají větší sílu než běžný zásobníkový automat a jejich síla je rovna Turingovému stroji. Jsou schopné akceptovat rodinu rekurzivně vyčíslitelných jazyků.
This work deals with the design, applicability and the implementation of parsing methods based on pushdown automata that regulate the use of their rules by linear control languages. These automata are more powerful than ordinary automata and they are as powerful as Turing machine. The pushdown automata regulated by linear control languages characterize the family of recursively enumerable languages.
Keywords:
control language; linear language; parsing; pushdown automata; recursively enumerable languages; regulated automata; lineární jazyk; regulované automaty; rekurzívně vyčíslitelný jazyk; syntaktická analýza; zásobníkové automaty; řídíci jazyk
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/61988