Název:
Prostředí pro podporu modelů formálních jazyků
Překlad názvu:
Environment for Formal Language Models Support
Autoři:
Juda, Jan ; Kocman, Radim (oponent) ; Křivka, Zbyněk (vedoucí práce) Typ dokumentu: Diplomové práce
Rok:
2023
Jazyk:
cze
Nakladatel: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstrakt: [cze][eng]
Cílem této práce je vytvořit podpůrné prostředí pro spouštění algoritmů a výpočet typických problémů na pokročilých modelech formálních jazyků. Toto prostředí je realizováno jako modulární aplikace s využitím OSGi rámce, u které autor dbá na snadnou integraci nových uživatelem definovaných modelů formálních jazyků a algoritmů pro tyto modely, a to bez nutnosti úprav či opětovného překladu ostatních částí prostředí včetně jeho jádra. Pro demonstrování svých možností podpůrné prostředí obsahuje implementaci konečného automatu, bezkontextové gramatiky, n-zásobníkového m-páskového automatu, obecného skákajícího konečného automatu, Watson-Crickova konečného automatu, problému členství a algoritmů obecně schopných řešit problém členství na automatech a gramatikách.
The goal of this thesis is to create an environment that supports advanced formal language models including the computation of algorithms for typical problems. This environment is developed as a modular application using OSGi framework, that focuses on easy integration of new user-defined formal language models and algorithms for these models. The modularity provides the possibility to integrate a new user-defined language model and the corresponding algorithms without necessity to recompile the rest of the system. Therefore, a new module can be seamlessly plugged in into the system. As a demonstration of its capabilities, the environment supports the models of finite automata, context free grammars, n-pushdown m-tape automata, general jumping finite automata, Watson-Crick finite automata, the membership problem and algorithms that are generally able to solve membership problem on automata and grammars.
Klíčová slova:
algoritmy; automat; formální jazyky; gramatika; modely formálních jazyků; problém členství; uživatelem definované automaty a gramatiky; algorithms; automaton; formal language models; formal languages; grammar; membership problem; user-defined automata and grammars
Instituce: Vysoké učení technické v Brně
(web)
Informace o dostupnosti dokumentu:
Plný text je dostupný v Digitální knihovně VUT. Původní záznam: http://hdl.handle.net/11012/211949