Zakres materiału:
- Relacje
- Wyrażenia regularne
- Języki regularne
- Gramatyki bezkontekstowe
- Języki bezkontekstowe
- Gramatyki kontekstowe
- Maszyny Turinga
- Wielotaśmowe maszyny Turinga
- Automat liniowo ograniczony
- Niedeterministyczne maszyny Turinga
- Automat ze stosem
- Automat skończony
- Równoważność automatów skończonych
