Syntaktická analýza založená na automatech s hlubokými zásobníky
Loading...
Date
Authors
ORCID
Advisor
Referee
Mark
B
Journal Title
Journal ISSN
Volume Title
Publisher
Vysoké učení technické v Brně. Fakulta informačních technologií
Abstract
Jazyk je základným prostriedkom komunikácie. Formálne jazyky poskytujú základ pre komunikáciu človeka s počítačom. Cieľom tejto práce je prispieť práve do tejto oblasti a analyzovať možnosť spracovania kontextových prvkov formálnych jazykov. Práca sa venuje teoretickému popisu stavovej gramatiky a automatu s hlbokým zásobníkom, ktorý je modelom syntaktického analyzátora pre jazyky s kontextovými prvkami. Následne popisuje algoritmus, ktorý dokáže stavovú gramatiku na tento zásobníkový automat previesť. Práca ďalej opisuje syntaktickú analýzu, jej metódy a využitie vytvoreného automatu na jej vykonanie. Pre lepšie pochopenie sú v práci obsiahnuté aj príklady vytvorenia a činnosti automatu. Nakoniec je v práci popísaná implementácia programu, ktorý teoreticky popísané činnosti vykonáva. Funkčnosť programu bola overená na príkladoch, ktorých vstupy a výstupy sú tiež súčasťou textu práce.
Language is a basic means of communication. Formal languages provide the basis for human-computer communication. The aim of this work is to contribute to this area and analyze the possibility of processing the context-sensitive elements of formal languages. The work includes the theoretical description of state grammar and deep pushdown automaton, which is a model of a parser for languages including context-sensitive elements. It describes an algorithm that can convert the state grammar to the said deep pushdown automaton. The work further describes parsing, its methods and the use of the created automaton in performing the syntax analysis. For a better understanding, the work also includes examples of the creation and operation of the automaton. Finally, the work describes the implementation of a program that performs theoretically described activities. The functionality of the program was verified on examples, whose inputs and outputs are also part of the text of the work.
Language is a basic means of communication. Formal languages provide the basis for human-computer communication. The aim of this work is to contribute to this area and analyze the possibility of processing the context-sensitive elements of formal languages. The work includes the theoretical description of state grammar and deep pushdown automaton, which is a model of a parser for languages including context-sensitive elements. It describes an algorithm that can convert the state grammar to the said deep pushdown automaton. The work further describes parsing, its methods and the use of the created automaton in performing the syntax analysis. For a better understanding, the work also includes examples of the creation and operation of the automaton. Finally, the work describes the implementation of a program that performs theoretically described activities. The functionality of the program was verified on examples, whose inputs and outputs are also part of the text of the work.
Description
Citation
PLOČICOVÁ, D. Syntaktická analýza založená na automatech s hlubokými zásobníky [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2020.
Document type
Document version
Date of access to the full text
Language of document
sk
Study field
Informační technologie
Comittee
doc. Dr. Ing. Dušan Kolář (předseda)
doc. Ing. Peter Chudý, Ph.D., MBA (místopředseda)
doc. Ing. Jan Kořenek, Ph.D. (člen)
Ing. Ondřej Lengál, Ph.D. (člen)
RNDr. Marek Rychlý, Ph.D. (člen)
Date of acceptance
2020-07-09
Defence
Studentka nejprve prezentovala výsledky, kterých dosáhla v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Studentka následně odpověděla na otázku oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studentky na položené otázky rozhodla práci hodnotit stupněm B. Otázky u obhajoby: Jaká je síla navržené metody syntaktické analýzy v porovnání s metodami založenými na LL(1) tabulkách?
Result of defence
práce byla úspěšně obhájena
Document licence
Standardní licenční smlouva - přístup k plnému textu bez omezení