Implementace vybraných operací pro regulární jazyky

Štěpán PRŮDEK

Bachelor's thesis

Abstract:

Cílem této práce je popsat vybrané základní a kombinované operace na regulárních jazycích, včetně jejich odpovídajících konstrukcí pro konečné automaty. Dále jsou pak uvedeny výhody kombinovaných operací oproti sekvenci základních operací. Práce obsahuje popis vybraných operací, obrázky demonstrující operace na automatech a jejich stavovou složitost. Součástí práce jsou konkrétní grafické příklady jednotlivých operací na automatech. Další částí této práce je vytvořená aplikace, která umožňuje uživateli vytvořit, či importovat z XML souboru automaty a pro dané operace demonstrovat odpovídající konstrukce, či testovat akceptovatelnost slov z daného jazyka.

Abstract:

The main goal of this thesis is to describe selected operations and combined operations on regular languages, including their constructions for finite automata. The advantages of combined operations over the sequence of basic operations are demonstrated. Thesis contains a description of selected operations, pictures demonstrating operations on finite automata and their state complexity. Each operation is described and demonstrated using pictures examples on automata. Part of this thesis is a created application that allows the user to create or import automata from the XML file and use described operations on them. User can also test if selected automata accepts sselected words.

Keywords

regulární jazyky, konečné automaty, základní operace, kombinované operace, stavová složitost

Language used: Czech

Date on which the thesis was submitted / produced: 8. 8. 2021

Thesis defence

• Supervisor: RNDr. Tomáš Masopust, Ph.D.

Palacký University Olomouc

Faculty of Science

Bachelor programme / field:
Computer Science / Computer Science