FI:I006 Formal Languages and Automata - Course Information

I006 Formal Languages and Automata II

Extent and Intensity

2/1. 3 credit(s). Recommended Type of Completion: zk (examination). Other types of completion: k (colloquium), z (credit).

Teacher(s)

prof. RNDr. Mojmír Křetínský, CSc. (lecturer)

Guaranteed by

Contact Person: prof. RNDr. Mojmír Křetínský, CSc.

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

• Deterministic context-free languages (detCFL).
• Methods of syntactic analyses of detCFLs.
• SLL(k) and LL(k) grammars and languages, properties and analyzers.
• LR(k), SLR(k) and LALR(k) grammars and languages, properties and analyzers.
• Relationships between LL, LR and detCFL.
• Selected applications(compilers, concurrent processes - bisimulation).
• (Un)decidable problems for automata and grammars w.r.t. bisimulation.

Language of instruction

Czech

• Enrolment Statistics (Autumn 1996, recent)
  
• Permalink: https://is.muni.cz/course/fi/autumn1996/I006