This course introduces different concepts in automata theory and formal languages, including formal proofs, deterministic and non-deterministic automata, regular expressions, regular languages, context-free grammars and languages, and Turing machines.
- Profesor: Blazy Olivier
- Profesor: Haucourt Emmanuel
- Profesor: Lafont Ambroise
- Profesor: Zeilberger Noam