Prostředí pro podporu modelů formálních jazyků
| but.committee | doc. RNDr. Pavel Smrž, Ph.D. (předseda) doc. Ing. František Zbořil, Ph.D. (člen) doc. Mgr. Lukáš Holík, Ph.D. (člen) Ing. Aleš Smrčka, Ph.D. (člen) Ing. Libor Polčák, Ph.D. (člen) Ing. Matěj Grégr, Ph.D. (člen) | cs |
| but.defence | Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm C. | cs |
| but.jazyk | čeština (Czech) | |
| but.program | Informační technologie a umělá inteligence | cs |
| but.result | práce byla úspěšně obhájena | cs |
| dc.contributor.advisor | Křivka, Zbyněk | cs |
| dc.contributor.author | Juda, Jan | cs |
| dc.contributor.referee | Kocman, Radim | cs |
| dc.date.created | 2023 | cs |
| dc.description.abstract | 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. | cs |
| dc.description.abstract | 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. | en |
| dc.description.mark | C | cs |
| dc.identifier.citation | JUDA, J. Prostředí pro podporu modelů formálních jazyků [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2023. | cs |
| dc.identifier.other | 148305 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/211949 | |
| dc.language.iso | cs | cs |
| dc.publisher | Vysoké učení technické v Brně. Fakulta informačních technologií | cs |
| dc.rights | Standardní licenční smlouva - přístup k plnému textu bez omezení | cs |
| dc.subject | formální jazyky | cs |
| dc.subject | modely formálních jazyků | cs |
| dc.subject | automat | cs |
| dc.subject | gramatika | cs |
| dc.subject | algoritmy | cs |
| dc.subject | problém členství | cs |
| dc.subject | uživatelem definované automaty a gramatiky | cs |
| dc.subject | formal languages | en |
| dc.subject | formal language models | en |
| dc.subject | automaton | en |
| dc.subject | grammar | en |
| dc.subject | algorithms | en |
| dc.subject | membership problem | en |
| dc.subject | user-defined automata and grammars | en |
| dc.title | Prostředí pro podporu modelů formálních jazyků | cs |
| dc.title.alternative | Environment for Formal Language Models Support | en |
| dc.type | Text | cs |
| dc.type.driver | masterThesis | en |
| dc.type.evskp | diplomová práce | cs |
| dcterms.dateAccepted | 2023-06-19 | cs |
| dcterms.modified | 2023-06-19-12:34:57 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 148305 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2025.03.26 15:37:02 | en |
| sync.item.modts | 2025.01.15 17:18:21 | en |
| thesis.discipline | Vývoj aplikací | cs |
| thesis.grantor | Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav informačních systémů | cs |
| thesis.level | Inženýrský | cs |
| thesis.name | Ing. | cs |