Original title: Prostředí pro podporu modelů formálních jazyků
Translated title: Environment for Formal Language Models Support
Authors: Juda, Jan ; Kocman, Radim (referee) ; Křivka, Zbyněk (advisor)
Document type: Master’s theses
Year: 2023
Language: cze
Publisher: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstract: [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.
Keywords: algorithms; automaton; formal language models; formal languages; grammar; membership problem; user-defined automata and grammars; algoritmy; automat; formální jazyky; gramatika; modely formálních jazyků; problém členství; uživatelem definované automaty a gramatiky

Institution: Brno University of Technology (web)
Document availability information: Fulltext is available in the Brno University of Technology Digital Library.
Original record: http://hdl.handle.net/11012/211949

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


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