IA052 Topics in Language Theory

Faculty of Informatics
Spring 2003
Extent and Intensity
2/0. 3 credit(s) (plus extra credits for completion). Recommended Type of Completion: k (colloquium). Other types of completion: zk (examination), z (credit).
Teacher(s)
prof. RNDr. Branislav Rovan, Ph.D. (lecturer), prof. RNDr. Mojmír Křetínský, CSc. (deputy)
Guaranteed by
prof. RNDr. Mojmír Křetínský, CSc.
Department of Computer Science – Faculty of Informatics
Contact Person: prof. RNDr. Branislav Rovan, Ph.D.
Timetable
each odd Tuesday 13:00–16:50 B411
Prerequisites (in Czech)
! I052 Topics in Language Theory
Předpokládají se znalosti odpovídající rozsahu a náplni kursů IB005 Formální jazyky a automaty a IB107 Vyčíslitelnost a složitost.
Course Enrolment Limitations
The course is only offered to the students of the study fields the course is directly associated with.
fields of study / plans the course is directly associated with
there are 6 fields of study the course is directly associated with, display
Syllabus
  • Abstract families of languages and automata: definitions of language classes using their closure properties, relationships and dependencies between operations on languages, language family properties implied by automata family properties, operations on automata and their consequences for corresponding languages
  • Generalisations of grammars: grammars with controlled derivations, biologically motivated classes of grammars, generative systems, parallel generating languages, complexity of grammars, complexity of languages
Literature
  • GINSBURG, Seymour. Algebraic and automata-theoretic properties of formal languages. Amsterdam: North-Holland Publishing Company, 1975, xii, 313. ISBN 0444105867. info
  • Handbook of formal languages. Vol. 1 Word, language, grammar. Edited by Grzegorz Rozenberg - Arto Salomaa. Berlin: Springer, 1997, xvii, 873. ISBN 3-540-60420-0. info
  • Handbook of formal languages. background and application. Edited by Grzegorz Rozenberg - Arto Salomaa. Berlin: Springer, 1997, xxii, 528. ISBN 3540614869. info
  • Salomaa, A.: Formal Languages. Academic Press, New York, 1973
  • Dassow,J., Paun,G.: Regulated Rewriting in Formal Language Theory. Springer, Berlin, 1980
Language of instruction
Czech
Further Comments
The course is taught once in two years.
The course is also listed under the following terms Spring 2006, Spring 2009, Spring 2011.
  • Enrolment Statistics (Spring 2003, recent)
  • Permalink: https://is.muni.cz/course/fi/spring2003/IA052