Glava 0.

1. Teorija
- Kompleksnosti/Complexity - def.
- Izracunljivosty/Computability - def.
- Automata - def.
2. Matematicka terminologija
- Skup
- Nizovi i redovi (Sequences and tuples)
- Funkcije i relacije
- Grafovi
- Stringovi i jezici
- Bulova logika
- Pregled matematicke terminologije
3. Pojmovi
- Definicija
- Teorema
- Lema
- Dokaz
- konstrukcijom
- kontradikcijom/kontrapozitiv
- indukcijom
Glava 1. - Regularni jezici (Regular Languages)
- Konacni Automat
- Formalna definicija izracunljivosti
- Regularne operacije
- Deterministicki Konacni Automat (DFA)
- Nedeterministicki Konacni Automat (NFA)
- Regularni izrazi (regular expressions)
- NeRegularni jezici
- Pumpping Lemma za regularne jezike
Glava 2. - Context-free Languages
- Context-Free Grammar - CFG
- Ambiguity
- Chomsky Normal Form
- Pushdown Automata - PDA
- Ekvivalentnost PushDown Automata sa Context-Free-Gramatikama
- Non-Context Free Languages/Jezici
- Pumpping lema za Context Free languages
- Deterministicki Context Free Languages/Jezici
- Svojstva DCFL-ova
- Deterministicke Context-Free Gramatike
- Veza izmedju DPDA i DCFG
- Parsiranje i LR(k) Gramatike