Original title: Nástroje pro experimenty s gramatikami a jazyky
Translated title: Tools for experiments with grammar and languages
Authors: Krejsa, Jiří ; Král, Jaroslav (referee) ; Bednárek, David (advisor)
Document type: Master’s theses
Year: 2010
Language: cze
Abstract: [cze] [eng]
Hlavním cílem diplomové práce je návrh a implementace prostředí, které poskytne prostředky pro práci s gramatikami a jazyky. Prostředí je realizováno knihovnou, se kterou uživatel pracuje pomocí API. Knihovna umožňuje manipulovat s jazyky v podobě gramatiky nebo automatu, převádět jazyk mezi jeho různými reprezentacemi a testovat zda je gramatika regulární, lineární nebo LR(k) pro zvolené k. V případě porušení podmínek testované vlastnosti je nalezen protipříklad. Důraz je kladen na další rozšiřitelnost knihovny. Součástí práce je ukázková implementace využití knihovny. Knihovna i ukázka je napsána v jazyce C++. The main goal of the thesis is the design and implementation environment that provides tools for working with grammars and languages. The environment is implemented by the library to which the user is working through the API. The library enables manipulation with languages represented as grammars or automata, transfer language between its various representations and to test whether the grammar is regular, linear or LR(k). The library found counterexamples in case that condition is violated. The thesis also highlights the future library expansion. Part of this work is a sample implementation of library usage. The library and samples are written in C++.
Keywords: automaton; grammar; library implementation; LR(k); automat; gramatika; implementace knihovny; LR(k)

Institution: Charles University Faculties (theses) (web)
Document availability information: Available in the Charles University Digital Repository.
Original record: http://hdl.handle.net/20.500.11956/22736

Permalink: http://www.nusl.cz/ntk/nusl-277445


The record appears in these collections:
Universities and colleges > Public universities > Charles University > Charles University Faculties (theses)
Academic theses (ETDs) > Master’s theses