CZV_VT007 Jazyky, automaty a gramatiky

Pan-university studies
Spring 2001
Extent and Intensity
0/0. Type of Completion: k (colloquium).
Teacher(s)
prof. RNDr. Mojmír Křetínský, CSc. (lecturer)
prof. RNDr. Antonín Kučera, Ph.D. (lecturer)
Guaranteed by
prof. RNDr. Luděk Matyska, CSc.
Faculty of Informatics
Contact Person: prof. RNDr. Mojmír Křetínský, CSc.
Prerequisites
Basic notions of the set theory and logic corresponding to secondary (high) school courses
Course Enrolment Limitations
The course is only offered to the students of the study fields the course is directly associated with.

The capacity limit for the course is 50 student(s).
Current registration and enrolment status: enrolled: 0/50, only registered: 0/50
fields of study / plans the course is directly associated with
Course objectives
Languages and grammars. Chomsky hierarchy.
Finite automata and regular grammars.
Properties of regular languages.
Context-free grammars and pushdown automata.
Properties of context-free languages.
Deterministic pushdown automata.
Syllabus
  • Languages and grammars. Chomsky hierarchy.
  • Finite automata and regular grammars.
  • Properties of regular languages.
  • Context-free grammars and pushdown automata.
  • Properties of context-free languages.
  • Deterministic pushdown automata.
Literature
  • M.Křetínský, A.Kučera: Teoretické základy informatiky I - Automaty a gramatiky. Učební text FI MU, Brno 2001
  • CHYTIL, Michal. Automaty a gramatiky. Vyd. 1. Praha: SNTL - Nakladatelství technické literatury, 1984, 331 s. URL info
  • KOZEN, Dexter C. Automata and computability. New York: Springer, 1997, xiii, 400. ISBN 0387949070. info
Assessment methods (in Czech)
Samostatné studium z učebního textu. Během semestru 2 soustředění - konzultace.
Hodnocení: 1-krát za 3 týdny zadány příklady k samostanému řešení a závěrečná písemná zkouška. Celkové hodnocení odvozeno z odevzdaných řešení zadaných příkladů a výsledku závěrečné písemné zkoušky.
Language of instruction
Czech
Further comments (probably available only in Czech)
The course can also be completed outside the examination period.
The course is taught only once.
Note related to how often the course is taught: distanční formou.
Teacher's information
http://dist.fi.muni.cz-d007
  • Enrolment Statistics (recent)
  • Permalink: https://is.muni.cz/course/cus/spring2001/CZV_VT007