UINK106 Theory of Languages and Automata II

Faculty of Philosophy and Science in Opava
Winter 2012
Extent and Intensity
2/2/0. 6 credit(s). Type of Completion: zk (examination).
Teacher(s)
prof. RNDr. Alice Kelemenová, CSc. (lecturer)
RNDr. Šárka Vavrečková, Ph.D. (lecturer)
RNDr. Šárka Vavrečková, Ph.D. (seminar tutor)
Guaranteed by
prof. RNDr. Alice Kelemenová, CSc.
Institute of Computer Science – Faculty of Philosophy and Science in Opava
Prerequisites (in Czech)
(UINK105 Theory of Languages and Automata I || UINK115 Theory of languages and automata I || UIN1105 Theory of languages and automata I) && (UIAI012 Fundamentals of Theoretical Computer Science I || UIAI212 Fundamentals of Theoretical Computer Science I || UIBUC56 Theory of languages and automata I || UINK115 Theory of languages and automata I || UIN1105 Theory of languages and automata I)
Course Enrolment Limitations
The course is also offered to the students of the fields other than those the course is directly associated with.
fields of study / plans the course is directly associated with
Course objectives
In this course we go over the more complicated structures and processes - pushdown automata, Turing machines and complex Chomski and non-Chomski grammars, sequential and parallel modes.
Syllabus
Criteria for context-free languages.
Pushdown automata, variants, types of accepting.
Closure properties of context-free languages.
Grammars of type 0, Turing machines.
Grammars of type 1, linearly bounded automata.
Derivation modes, parallelism.
L-Systems, matrix grammars, grammar systems, colonies.
Teaching methods
Interactive lecture
Lecture supplemented with a discussion
Lecture with a video analysis
Assessment methods
Written exam
Language of instruction
Czech
Teacher's information
Activity Difficulty [h]
Příprava na zápočet 12
Příprava na zkoušku 12
Summary 24
Further comments (probably available only in Czech)
The course can also be completed outside the examination period.
The course is also listed under the following terms Winter 2009, Winter 2010, Winter 2011, Winter 2013, Winter 2014, Winter 2015, Winter 2016, Winter 2017, Winter 2018, Winter 2019, Winter 2020, Winter 2021, Winter 2022.
  • Enrolment Statistics (Winter 2012, recent)
  • Permalink: https://is.slu.cz/course/fpf/winter2012/UINK106