Syntaktická analýza založená na automatech s hlubokými zásobníky

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.