Dvoustranné automaty

• Thesis title in Czech: Dvoustranné automaty
• Thesis title in English: Biautomata
• Key words: Konečný automat, Dvoustranný automat, Po částech testovatelné jazyky, Simonova věta, Syntaktický automat
• English key words: Finite automaton, Biautomaton, Piecewise testable languages, Simon's theorem, Syntactic automaton
• Academic year of topic announcement: 2013/2014
• Thesis type: Bachelor's thesis
• Thesis language: čeština
• Department: Department of Algebra (32-KA)
• Supervisor: doc. Mgr. Štěpán Holub, Ph.D.
• Author: hidden - assigned and confirmed by the Study Dept.
• Date of registration: 21.11.2013
• Date of assignment: 26.11.2013
• Confirmed by Study dept. on: 16.12.2013
• Date and time of defence: 04.09.2014 00:00
• Date of electronic submission: 31.07.2014
• Date of submission of printed version: 31.07.2014
• Date of proceeded defence: 04.09.2014
• Opponents: RNDr. Andrew Kozlík, Ph.D.

Guidelines

Student popíše pojem dvoustranného automatu a srovná ho s klasickým deterministickým automatem. Představí výsledek O. Klímy a L. Poláka charakterizující pomocí doustranného automatu po částech testovatelné jazyky.

References

Ondřej Klíma and Libor Polák, On biautomata, RAIRO - Theoretical Informatics and Applications, 46 (2012), pp. 573-592.
Galina Jirásková and Ondřej Klíma, Descriptional Complexity of Biautomata, LNCS 7386, 2012, pp. 196-208.