Free University of Bolzano/Bozen
Faculty of Computer Science
Bachelor in Applied Computer Science

Formal Languages

Lectures Notes A.Y. 2007/2008

Prof. Diego Calvanese


Lectures

  1. Basic notions about relations, functions, formal languages [Part 1 (7 pages)]
  2. Finite state automata [Part 2 (18 pages)]
  3. Regular expressions [Part 3 (12 pages)]
  4. Properties of regular languages [Part 4 (15 pages)]
  5. Chomsky grammars and context free languages [Part 5 (25 pages)]

Exercises [notes by Kurt Ranalter]

  1. Deterministic and nondeterministic finite automata [Exercises 1 and 2]
  2. Finite automata with epsilon-transitions [Exercise 3]
  3. Finite automata with epsilon-transitions and regular languages [Exercise 4]
  4. Finite automata and regular expressions [Exercise 5]
  5. Properties of regular languages, pumping lemma [Exercise 6]
  6. Minimization of finite automata [Exercises 7 and 8]
  7. Classification of grammars [Exercises 9 and 10]
  8. Context-free grammars and normal forms for grammars [Exercises 11 and 12]

Back to course home page
Last modified: Thursday, 24-Jan-2008 15:27:16 CET