Information System of Masaryk University 

Course Information

I006 Formal Languages and Automata II

Faculty of Informatics
Autumn 1997

Extent and Intensity

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

Teacher(s)

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

Supervisor

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

Prerequisites (in Czech)

I005 Formal Languages and Automata I

Course Enrollment Limitations

The course is also offered to the students of the fields other than those the course is directly associated with.

Fields of study the course is directly associated with

• Informatics (programme FI, B-IN)
• Information Technology (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)

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.

The course is also listed under the following terms Autumn 1995, Autumn 1996, Autumn 1998, Autumn 1999, Autumn 2000, Autumn 2001.

---

• Enrollment Statistics (Autumn 1997, recent)
  
• Permalink: https://is.muni.cz/course/fi/autumn1997/I006

---