Course: The Basis of Theoretical Computer Science I

« Back
Course title The Basis of Theoretical Computer Science I
Course code UI/AI212
Organizational form of instruction Lecture
Level of course Bachelor
Year of study not specified
Semester Summer
Number of ECTS credits 7
Language of instruction Czech
Status of course Compulsory
Form of instruction Face-to-face
Work placements This is not an internship
Recommended optional programme components None
Course availability The course is available to visiting students
Lecturer(s)
  • KELEMENOVÁ Alice, doc. RNDr. CSc.
  • VAVREČKOVÁ Šárka, RNDr. Ph.D.
Course content
Alphabet, formal languages, operations with formal languages. Finite automaton. Regular languages, Pumping lemma for regular languages, regular expressions, regular grammars. Closure properties of regular languages. Chomski hierarchy of languages. Context-free grammars, their variations and properties.

Learning activities and teaching methods
Interactive lecture, Lecture supplemented with a discussion, Lecture with a video analysis
  • unspecified - 6 hours per semester
  • unspecified - 30 hours per semester
  • unspecified - 20 hours per semester
  • unspecified - 20 hours per semester
Recommended literature
  • DEMLOVÁ, M. - KOUBEK, V. Algebraická teorie automatů. Praha: SNTL, 1990.
  • GRUSKA, J. Foundations of Computing. London: International Thomson Computer Press, 1997.
  • HOPCROFT, J. E. - ULLMAN, J. D. Teória jazykov a automatov. Bratislava: Alfa, 1987.
  • CHYTIL, M. Automaty a gramatiky. Praha: SNTL, 1984.
  • MEDUNA, A. MEDUNA, A. Gramatiky, automaty a kompilátory. Brno: VUT, 1987.
  • MOLNÁR, Ľ. - ČEŠKA, M. - MELICHAR, B. Gramatiky a jazyky. Bratislava: Alfa, 1987.


Study plans that include the course
Faculty Study plan (Version) Branch of study Category Recommended year of study Recommended semester
Faculty of Philosophy and Science in Opava Applied Computer Science (1) Informatics courses 1 Summer