Plan of classes:
- Relations (7.X.2022)
- Relation induced by language
- Regular expressions
- Regular languages
- Context-free grammars: useless symbols and productions
- Context-free grammars: normal forms
- Context-free languages
- First Test
- Tuning machines
- Multi tape Tuning machines
- Nondeterministic Tuning Machines
- Linear bounded automaton
- Finite automata
- Types of finite automata
Resources: