Plan of classes:
- Relations (6.X.2025)
- Relation induced by language (13.X.2025)
- Regular expressions (20.X.2025)
- Regular languages (27.X.2025)
- Context-free grammars: useless symbols and productions (3.XI.2025)
- Context-free grammars: normal forms (13.XI.2025)
- Context-free languages (17.XI.2025)
- First Test (24.XI.2025)
- Tuning machines (1.XII.2025)
- Multi tape Tuning machines (8.XII.2025)
- Nondeterministic Tuning Machines (15.XII.2025)
- Linear bounded automaton (22.XII.2025)
- Finite automata (12.I.2026)
- Types of finite automata (19.I.2026)
- Second Test (26.I.2026)
Resources:
