IA060 Parallel Grammars and Automata

Faculty of Informatics
Spring 2010
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 even Tuesday 14:00–17:50 B411
Prerequisites
Knowlegde corresponding to the courses IB005 - Formal languages and automata and IB107 - Computability and complexity
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 18 fields of study the course is directly associated with, display
Course objectives
Objective: To present selected approaches to modelling parallelism by grammars and automata. At the end of the course students should be able to understand and explain usual language-theoretic problems, evaluate and apply complexity issues, and make reasoned decisions abou comparison of sequential and parallel models.
Syllabus
  • L-systems, parallel communicating grammars, and alternating automata.
Literature
  • 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
  • Handbook of formal languages. Edited by Grzegorz Rozenberg - Arto Salomaa. Berlin: Springer, 1997, xiv, 625. ISBN 3540614869. info
Teaching methods
lectures, class discussion and homeworks
Assessment methods
Final written exam (closed books).
Language of instruction
English
Further Comments
Study Materials
The course is taught once in two years.
The course is also listed under the following terms Spring 2004, Spring 2008.
  • Enrolment Statistics (recent)
  • Permalink: https://is.muni.cz/course/fi/spring2010/IA060