Kategória:Formálne jazyky a automaty

Oblasť sa zameriava na vysvetlenie toho, ako sú formálne (umelé) jazyky používané z hľadiska teoretickej informatiky, napr.: pre popis syntaxe programovacích jazykov.

Oblasť "Formálne jazyky a automaty" má definovanú nasledovnú postupnosť tém:

1. Úvod do formálnych jazykov
2. Gramatika vo formálnych jazykoch
3. Chomského hierarchia jazykov
4. Pokročilé úlohy pre tvorbu gramatík
5. Formálne automaty (konečné)
6. Zásobníkové automaty
7. Syntaktická analýza v zásobníkových automatoch