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.
- Teaching coordinator: Blazy Olivier
- Teaching coordinator: Haucourt Emmanuel
- Teaching coordinator: Lafont Ambroise
- Teaching coordinator: Zeilberger Noam