FI:I052 Topics in Language Theory - Course Information
I052 Topics in Language Theory
Faculty of InformaticsSpring 2001
- Extent and Intensity
- 2/0. 3 credit(s) (plus extra credits for completion). Recommended Type of Completion: k (colloquium). Other types of completion: 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
- Tue 1. 5. to Tue 8. 5. each working day 10:00–11:50 D2, except Sat 5. 5.
- Prerequisites
- I005 Formal Languages and Automata I && I006 Formal Languages and Automata II
Prerequisites I005 Formal Languages and Automata I, I006 Formal Languages and Automata II - 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
- Informatics (programme FI, B-IN)
- Informatics (programme FI, M-IN)
- Upper Secondary School Teacher Training in Informatics (programme FI, M-IN)
- Upper Secondary School Teacher Training in Informatics (programme FI, M-SS)
- Information Technology (programme FI, B-IN)
- 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.
- Enrolment Statistics (recent)
- Permalink: https://is.muni.cz/course/fi/spring2001/I052