Course: Grammatics and Algorithms

» List of faculties » FM » MTI
Course title Grammatics and Algorithms
Course code MTI/GRA
Organizational form of instruction Lecture + Lesson
Level of course Master
Year of study not specified
Semester Winter
Number of ECTS credits 5
Language of instruction Czech
Status of course Compulsory, Compulsory-optional
Form of instruction Face-to-face
Work placements Course does not contain work placement
Recommended optional programme components None
  • Záda Václav, doc. Mgr. Ing. CSc.
Course content
The subject is oriented as an introduction of the automata theory, grammars and special chosen parts of algorithm theory. The consequence of this subject is that knowledges of students are united into one whole.

Learning activities and teaching methods
Monological explanation (lecture, presentation,briefing)
  • Class attendance - 56 hours per semester
Learning outcomes
The aim of this subject is to introduce students into theory of automata and formal languages in measure that is necessary for understanding of modern monographs and articles of the theoretical and practical informatics or programming. The subject is suitable for students that are not trained mathematicians.
Students will obtain the ability to design, to simplify and to adjust arbitrary finite automata with efficiency to verify the accuracy of schemes. Further he will be able to design and verify various types of grammars and make syntactic analysis.
Condition of registration: not any.

Assessment methods and criteria
Combined examination

Recommended literature
  • Ginzburg, A. Algebraic Theory of Automata. Academic Press, London, 1968.
  • Hopcroft, J.E. - Ullman, J.D. Formálne jazyky a automaty. Bratislava, Alfa 1978. (Překlad z angličtiny.).
  • Chytil, M. Automaty a gramatiky. Praha, SNTL 1984.
  • Mareš, J. Jazyky, gramatiky a automaty. Praha. Vydavatelství ČVUT, 2004.
  • Melichar, B. Jazyky a překlady. Praha. Vydavatelství ČVUT, 2003.
  • Pin, J.E. Mathematical Foundations of Automata Theory. 2014.

Study plans that include the course
Faculty Study plan (Version) Category of Branch/Specialization Recommended year of study Recommended semester
Faculty: Faculty of Mechatronics, Informatics and Interdisciplinary Studies Study plan (Version): Information Technology (2013) Category: Informatics courses 1 Recommended year of study:1, Recommended semester: Winter
Faculty: Faculty of Mechatronics, Informatics and Interdisciplinary Studies Study plan (Version): Automatic Control and Applied Computer Science (2016) Category: Special and interdisciplinary fields 2 Recommended year of study:2, Recommended semester: Winter