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: Ministerstvo školství, mládeže a tělovýchovy ČR

Program: Fond rozvoje vysokých škol (FRVŠ)

English title
Mathematical Foundations of Formal Language Theory
Type
grant
Keywords

formal language theory, theoretical computer science, mathematics

Abstract

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.

Team members
Zemek Petr, Ing., Ph.D. – research leader
Meduna Alexandr, prof. RNDr., CSc. (DIFS)
Vrábel Lukáš, Ing.
Files
Publications

2012

  • MEDUNA, A.; VRÁBEL, L.; ZEMEK, P. An Infinite Hierarchy of Language Families Resulting from Stateless Pushdown Automata with Limited Pushdown Alphabets. DCFS'12: 14th International Workshop on Descriptional Complexity of Formal Systems. Lecture Notes in Computer Science. Lecture Notes in Computer Science. Braga: Springer Verlag, 2012. p. 236-243. ISBN: 978-3-642-31622-7. ISSN: 0302-9743. Detail
  • VRÁBEL, L. A New Normal Form for Programmed Grammars with Appearance Checking. Proceedings of the 18th Conference STUDENT EEICT 2012 Volume 3. Brno: Brno University of Technology, 2012. p. 420-425. ISBN: 978-80-214-4462-1. Detail
  • ZEMEK, P. Normal Forms of One-Sided Random Context Grammars. Proceedings of the 18th Conference STUDENT EEICT 2012 Volume 3. Brno: Brno University of Technology, 2012. p. 430-434. ISBN: 978-80-214-4462-1. Detail
Back to top