Adam Kiovský
Bachelor's thesis
Knihovna pro práci s konečnými automaty
Finite Automata Library
Abstract:
Cílem této bakalářské práce je navrhnout a implementovat funkce pro komplexní práci s konečnými automaty. Tyto funkce jsou implementovány v jedné společné knihovně. Celá knihovna byla napsána v jazyce C\#. Součást knihovny jsou také algoritmy pro převod regulárních jazyků na konečný automat. Výstupem programu jsou řetězce, díky kterým si uživatel může nechat vygenerovat konkrétní automat ve vizualizačním …moreAbstract:
The aim of this bachelor thesis is to design and implement functions for complex work with finite automata. Those functions are implemented in the one common library. Whole library is written in C\# language. A part of the library are algorithms for transfering regular languages into finite automaton. An output is a string, which can be used for generating images of automaton in GraphViz program.
Language used: Czech
Date on which the thesis was submitted / produced: 30. 4. 2021
Identifier:
http://hdl.handle.net/10084/144023
Thesis defence
- Date of defence: 31. 5. 2021
- Supervisor: Jiří Dvorský
- Reader: Pavla Dráždilová
Citation record
Full text of thesis
Accessibility: Plné texty vysokoškolských kvalifikačních prací obhájených na Vysoké škole báňské - Technické univerzitě Ostrava jsou uloženy v repozitáři DSpace. Přístup k plným textům mají všichni uživatelé bez omezení. Přístup je omezen pouze ve výjimečných případech, zpravidla z důvodu ochrany duševního vlastnictví. Nepřístupné práce jsou označeny jako closedAccess nebo embargoedAccess. Tištěné verze prácí jsou uloženy v Ústřední knihovně VŠB-TUO a jsou prezenčně přístupné ve studovně diplomových prací. Další nakládání s prací (kopírování, opisy, MVS)se řídí Knihovní a výpůjčním řádem Ústřední knihovny VŠB-TUO.
Contents of on-line thesis archive
Published in Theses:- autentizovaným zaměstnancům ze stejné školy/fakulty
Other ways of accessing the text
Institution archiving the thesis and making it accessible: VŠB – Technická univerzita OstravaVSB – Technical University of Ostrava
Fakulta elektrotechniky a informatikyBachelor programme / field:
Informační a komunikační technologie / Informatika a výpočetní technika
Theses on a related topic
-
Regulární výrazy a gramatiky
Petr Kolář -
Regulární jazyky, konečné automaty a konečné pologrupy
Martin Masař -
Regulární výrazy v programovacích jazycích
Patricie Benešová -
Regulární výrazy a gramatiky
Petr Kolář -
Implementace vybraných operací pro regulární jazyky
Štěpán PRŮDEK -
Aplikace pro výuku práce s regulárními výrazy
Tereza Heroutová -
Generátor grafů konečných automatů - doplnění o regulární výrazy
René Kamaryt -
Nástoj pro abstraktní regulární stromový model checking
Patrik Mráz