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Š)

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. (UIFS FIT VUT) , research leader
Meduna Alexander, prof. RNDr., CSc. (UIFS FIT VUT) , team leader
Vrábel Lukáš, Ing. (UIFS FIT VUT) , team leader

Files

Publications

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