Ing. Petr Zemek

Mathematical Foundations of Formal Language Theory

Czech title:Matematické základy teorie formálních jazyků
Research leader:Zemek Petr
Team leaders:Meduna Alexander, Vrábel Lukáš
Agency:Fond rozvoje vysokých škol MŠMT
+Type Name Title Size Last modified
 ..Parent Directory
iconP01-Sets.pdf220 KB2013-01-06 17:08:46
iconP02-Sequences-Relations-Functions.pdf167 KB2013-01-06 17:08:46
iconP03-Finite-Automata.pdf156 KB2013-01-06 17:08:46
iconP04-Closures.pdf131 KB2013-01-06 17:08:46
iconP05-Statements-Proofs.pdf165 KB2013-01-06 17:08:46
iconPB01-Jumping-Finite-Automata.pdf552 KB2013-01-06 17:08:46
iconPB02-Nondeterminism-in-PGs.pdf161 KB2013-01-06 17:08:46
iconPB03-Szilard-Languages.pdf217 KB2013-01-06 17:08:46
iconPB04-Workspace-Theorems-For-rCGs.pdf364 KB2013-01-06 17:08:46
iconPB05-Converting-FAs-To-REs.pdf217 KB2013-01-06 17:08:46
iconPB06-Lookahead-In-Translators.pdf179 KB2013-01-06 17:08:46
iconPB07-One-Sided-RCG.pdf232 KB2013-01-06 17:08:46
^ Select all
With selected:
Keywords: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.


2012MEDUNA 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. Braga: Springer Verlag, 2012, pp. 236-243. ISBN 978-3-642-31622-7. ISSN 0302-9743.
 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.
 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.

Your IPv4 address:
Switch to https