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++.
| Identifer | oai:union.ndltd.org:nusl.cz/oai:invenio.nusl.cz:277445 |
| Date | January 2010 |
| Creators | Krejsa, Jiří |
| Contributors | Král, Jaroslav, Bednárek, David |
| Source Sets | Czech ETDs |
| Language | Czech |
| Detected Language | English |
| Type | info:eu-repo/semantics/masterThesis |
| Rights | info:eu-repo/semantics/restrictedAccess |
Page generated in 0.1141 seconds