Thesis Details
Syntaktická analýza založená na systémech hlubokých zásobníkových automatů
Master's Thesis
Student: Šoustar Jakub
Academic Year: 2016/2017
Supervisor: Meduna Alexander, prof. RNDr., CSc.
English title
Parsing Based on Deep Pushdown Automata Systems
Language
Czech
Abstract
This thesis investigates deep pushdown automata and introduces their modification called controlled deep pushdown automata. Distributed deep pushdown automata systems and parallel communicating deep pushdown automata systems are described. Their accepting power and properties are investigated and several variants are introduced. This thesis proves that the accepting power of one such variant of parallel communicating deep pushdown automata systems is equal to the accepting power of Turing machines. A method for syntactical analysis based on the previously introduced automata systems is described.
Keywords
parsing, deep pushdown automata, distributed automata systems, parallel communicating automata systems, determinism
Department
Degree Programme
Information Technology, Field of Study
Information Systems
Files
Status
defended, grade C
Date
22 June 2017
Reviewer
Committee
Hruška Tomáš, prof. Ing., CSc. (DIFS FIT BUT), předseda
Burget Radek, doc. Ing., Ph.D. (DIFS FIT BUT), člen
Holík Lukáš, doc. Mgr., Ph.D. (DITS FIT BUT), člen
Očenášek Pavel, Mgr. Ing., Ph.D. (DIFS FIT BUT), člen
Trenz Oldřich, doc. Ing., Ph.D. (Mendelu), člen
Zendulka Jaroslav, doc. Ing., CSc. (DIFS FIT BUT), člen
Burget Radek, doc. Ing., Ph.D. (DIFS FIT BUT), člen
Holík Lukáš, doc. Mgr., Ph.D. (DITS FIT BUT), člen
Očenášek Pavel, Mgr. Ing., Ph.D. (DIFS FIT BUT), člen
Trenz Oldřich, doc. Ing., Ph.D. (Mendelu), člen
Zendulka Jaroslav, doc. Ing., CSc. (DIFS FIT BUT), člen
Citation
ŠOUSTAR, Jakub. Syntaktická analýza založená na systémech hlubokých zásobníkových automatů. Brno, 2017. Master's Thesis. Brno University of Technology, Faculty of Information Technology. 2017-06-22. Supervised by Meduna Alexander. Available from: https://www.fit.vut.cz/study/thesis/19167/
BibTeX
@mastersthesis{FITMT19167, author = "Jakub \v{S}oustar", type = "Master's thesis", title = "Syntaktick\'{a} anal\'{y}za zalo\v{z}en\'{a} na syst\'{e}mech hlubok\'{y}ch z\'{a}sobn\'{i}kov\'{y}ch automat\r{u}", school = "Brno University of Technology, Faculty of Information Technology", year = 2017, location = "Brno, CZ", language = "czech", url = "https://www.fit.vut.cz/study/thesis/19167/" }