Název:
Syntaktická analýza založená na regulovaných automatech
Překlad názvu:
Parsing Based on Regulated Automata
Autoři:
Genčúrová, Ľubica ; Martiško, Jakub (oponent) ; Meduna, Alexandr (vedoucí práce) Typ dokumentu: Bakalářské práce
Rok:
2016
Jazyk:
cze
Nakladatel: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstrakt: [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.
Klíčová slova:
lineární jazyk; regulované automaty; rekurzívně vyčíslitelný jazyk; syntaktická analýza; zásobníkové automaty; řídíci jazyk; control language; linear language; parsing; pushdown automata; recursively enumerable languages; regulated automata
Instituce: Vysoké učení technické v Brně
(web)
Informace o dostupnosti dokumentu:
Plný text je dostupný v Digitální knihovně VUT. Původní záznam: http://hdl.handle.net/11012/61988