Plan of classes:
- Relations (7.X.2024)
- Relation induced by language (14.X.2024)
- Regular expressions (21.X.2024)
- Regular languages (28.X.2024)
- Context-free grammars: useless symbols and productions (4.XI.2024)
- Context-free grammars: normal forms (14.XI.2024)
- Context-free languages (18.XI.2024)
- First Test (25.XI.2024)
- Tuning machines (2.XII.2024)
- Multi tape Tuning machines (9.XII.2024)
- Nondeterministic Tuning Machines (16.XII.2024)
- Linear bounded automaton (8.I.2025)
- Finite automata (13.I.2025)
- Types of finite automata (20.I.2025)
- Second Test (27.I.2025)
Resources:
