Nástroje pro experimenty s gramatikami a jazyky
| Thesis title in Czech: | Nástroje pro experimenty s gramatikami a jazyky |
|---|---|
| Thesis title in English: | Tools for experiments with grammar and languages |
| Key words: | gramatika, automat, implementace knihovny, LR(k) |
| English key words: | grammar, automaton, library implementation, LR(k) |
| Academic year of topic announcement: | 2003/2004 |
| Thesis type: | diploma thesis |
| Thesis language: | čeština |
| Department: | Department of Software Engineering (32-KSI) |
| Supervisor: | RNDr. David Bednárek, Ph.D. |
| Author: | hidden - assigned and confirmed by the Study Dept. |
| Date of registration: | 13.11.2003 |
| Date of assignment: | 13.11.2003 |
| Date and time of defence: | 24.05.2010 00:00 |
| Date of electronic submission: | 18.05.2010 |
| Date of submission of printed version: | 18.05.2010 |
| Date of proceeded defence: | 24.05.2010 |
| Opponents: | prof. RNDr. Jaroslav Král, DrSc. |
| Preliminary scope of work |
| 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++. |
| Preliminary scope of work in English |
| 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++. |