Po částech testovatelné jazyky

Mgr. Jana Bartoňová

Bakalářská práce

Piecewise teastable languages

Anotace:

Tato práce se zabývá dvěma důkazy Simonovy věty o charakterizaci po částech testovatelných jazyků. V prvních dvou kapitolách jsou uvedeny základy teorie monoidů a regulárních jazyků. Třetí kapitola obsahuje původní důkaz I. Simona. Ve čtvrté kapitole je uveden důkaz H. Straubinga a D. Thériena doplněný o některá tvrzení týkající se uspořádaných monoidů, na kterých je tento důkaz založen. V závěru práce je hlavní konstrukce z tohoto důkazu předvedena na konkrétním příkladu.

Abstract:

This thesis deals with two proofs of Simon's theorem about the characterization of piecewise testable languages. In the first two chapters there are presented fundementals of the theory of monoids and the theory of regular languages. The third chapter contains the original proof of I. Simon. In the fourth chapter there is presented the proof of H. Straubing and D. Thérien added on some propositions about partially ordered monoids which form the base of this proof. The principal construction of this proof is showed on an example at the end of the thesis.

Klíčová slova

monoid, syntaktický monoid, J-triviální monoid, uspořádaný monoid, regulární jazyk, po částech testovatelný jazyk, syntactic monoid, J-trivial monoid, partially ordered monoid, regular language, piecewise testable language

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 31. 5. 2013

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

• Obhajoba proběhla 26. 6. 2013
• 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