Biautomaty

Bc. Zuzana Komárková

Bakalářská práce

On Biautomata

Anotace:

Tato bakalářská práce se zabývá tematikou biautomatů. Navazujeme na deterministické biautomaty a zavádíme jejich nedeterministická rozšíření,jejichž nejobecnější varianta rozpoznává lineární jazyky. Nedeterministické biautomaty poté využíváme k důkazům tvrzení o lineárních jazycích, jako je např. pumping lemma pro lineární jazyky nebo tvrzení o uzavřenosti a neuzavřenosti lineárních jazyků na mnohé operace. Nakonec srovnáváme biautomaty s jinými již zavedenými modely a dokazujeme, že nelze algoritmicky rozhodnout, zda nedeterministický biautomat rozpoznává regulární jazyk.

Abstract:

In this thesis we study biautomata. We extend deterministic biautomata with nondeterminism in several ways. The most general variant then recognizes linear languages. Further, we use non-deterministic biautomata to prove results on linear languages such as the pumping lemma and closure properties of linear languages. Finally, we compare biautomata to existing models and prove that the problem whether a non-deterministic biautomaton recognizes a regular language is undecidable.

Klíčová slova

biautomaty, lineární jazyky, regulární jazyky, konečné automaty, uzávěrové vlastnosti, pumping lemma, biautomata, linear languages, regular languages, finite automata, closure properties

Jazyk práce: čeština

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

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

• Obhajoba proběhla 14. 2. 2014
• Vedoucí: doc. Mgr. Ondřej Klíma, Ph.D.
• Oponent: Mgr. Jan Meitner

Masarykova univerzita

Přírodovědecká fakulta

Bakalářský studijní program / obor:
Matematika / Obecná matematika