Operace s regulárními jazyky pomocí rozpoznávání monoidy

Mgr. Pavlína Vávrová

Bakalářská práce

Operations with regular languages via recognition by monoids

Anotace:

Tato práce pojednává o rozpoznávání regulárních jazyků pomocí homomorfismů do konečných monoidů. V práci se zabýváme jazyky, které vznikly aplikací různých matematických operací na regulární jazyky. Na základě znalosti homomorfismů do konečných monoidů, které rozpoznávají původní jazyky, je určeno, jakým homomorfismem bude rozpoznáván výsledný jazyk. Pro srovnání je také uvedeno přijímání těchto jazyků pomocí konečných automatů.

Abstract:

This bachelor thesis is about recognizing regular languages into finite monoids by homomorphism; more specifically, it is about languages that are created by applying mathematical operations on other regular languages. Then the homomorphism, which recognizes the new language, is determined based on the knowledge of the homomorphisms that recognize the original languages. Finally, the way a language is accepted by a finite automata is shown for comparison.

Klíčová slova

konečný automat, monoid, regulární jazyk, homomorfismus, operace s regulárními jazyky

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 2. 1. 2012

Obhajoba závěrečné práce

• Obhajoba proběhla 31. 1. 2012
• Vedoucí: doc. Mgr. Michal Kunc, Ph.D.
• Oponent: RNDr. Mária Svoreňová, Ph.D.

Masarykova univerzita

Fakulta informatiky

Bakalářský studijní program / obor:
Informatika / Matematická informatika