Zpět na vyhledávání

Mgr. Jana Bartoňová

Bachelor's thesis

Po částech testovatelné jazyky

Piecewise teastable languages
Abstract:
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 …more
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 …more
 

Keywords

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
 
Language used: Czech
Date on which the thesis was submitted / produced: 31. 5. 2013
Identifier: https://is.muni.cz/th/mon24/

Thesis defence

  • Date of defence: 26. 6. 2013
  • Supervisor: doc. Mgr. Ondřej Klíma, Ph.D.
  • Reader: Mgr. Jan Meitner

Citation record

Cite this text

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Přírodovědecká fakulta
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Science

Bachelor programme / field:
Mathematics / Mathematics

Theses on a related topic

List of theses with an identical keyword.