UIN1006 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)
UIAI012 The Basis of Theoretical Compu || UIAI212 The Basis of Theoretical Compu || UIBUC56 Theory of Languages and Automa || UINK115 Theory of Languages and Automa || UIN1105 Theory of Languages and Automa
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
there are 7 fields of study the course is directly associated with, display
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
Further comments (probably available only in Czech)
The course can also be completed outside the examination period.
Teacher's information
ActivityDifficulty [h]
Příprava na zápočet12
Příprava na zkoušku12
Summary24
The course is also listed under the following terms Winter 1993, Winter 1994, Winter 1995, Winter 1996, Winter 1997, Winter 1998, Winter 1999, Winter 2003, Winter 2004, Winter 2005, Winter 2006, Winter 2007, Winter 2008, 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/UIN1006