Project Details
Matematické základy teorie formálních jazyků
Project Period: 1. 1. 2012 - 31. 12. 2012
Project Type: grant
Code: FR271/2012/G1
Agency: Fond rozvoje vysokých škol MŠMT
Program: Fond rozvoje vysokých škol (FRVŠ)
formal language theory, theoretical computer science, mathematics
The purpose of this project was to create study materials to guide students through the mathematical foundations of formal language theory. These materials demonstrate the usefulness of mathematical notation a rigorous methods. The project emphasises explanations based on several areas which computer science students know very well, such as programming languages.
Meduna Alexander, prof. RNDr., CSc. (UIFS FIT VUT) , team leader
Vrábel Lukáš, Ing. (UIFS FIT VUT) , team leader
2012
- VRÁBEL Lukáš. A New Normal Form for Programmed Grammars with Appearance Checking. In: Proceedings of the 18th Conference STUDENT EEICT 2012 Volume 3. Brno: Brno University of Technology, 2012, pp. 420-425. ISBN 978-80-214-4462-1. Detail
- MEDUNA Alexander, VRÁBEL Lukáš and ZEMEK Petr. An Infinite Hierarchy of Language Families Resulting from Stateless Pushdown Automata with Limited Pushdown Alphabets. In: DCFS'12: 14th International Workshop on Descriptional Complexity of Formal Systems. Lecture Notes in Computer Science, vol. 7386. Braga: Springer Verlag, 2012, pp. 236-243. ISBN 978-3-642-31622-7. ISSN 0302-9743. Detail
- ZEMEK Petr. Normal Forms of One-Sided Random Context Grammars. In: Proceedings of the 18th Conference STUDENT EEICT 2012 Volume 3. Brno: Brno University of Technology, 2012, pp. 430-434. ISBN 978-80-214-4462-1. Detail