- Teacher: Anna Bou Ezzeddine
- Non-editing teacher: Peter Krammer
- Non-editing teacher: Peter Laurinec
- Non-editing teacher: Marian Potocny
- Non-editing teacher: Anna Povazanova
- Non-editing teacher: Jan Zelenka

- Teacher: Dusan Bernat
- Teacher: Daniela Chuda
- Teacher: Jaroslav Erdelyi
- Teacher: Michal Farkas
- Teacher: Peter Kratky
- Teacher: Peter Kuban
- Teacher: Tomas Kucecka
- Teacher: Martin Labaj
- Teacher: Marian Lekavy
- Teacher: Irina Malkin Ondik
- Teacher: Juraj Petrik
- Teacher: Marius Sajgalik
- Teacher: Krisztian Toth
- Teacher: Juraj Vincur

TZI - bakalársky predmet FIIT pre študentov 2. bakalárskeho ročníka INFO poskytovaný v ZS
Teória formálnych jazykov a automatov a jej aplikácie. Teória vyčísiteľnosti.
Úvod do abstraktnej teórie zložitosti. Cieľom predmetu je získať znalosti o Chomského hierarchii jazykov a jej vzťahu k abstrakným výpočtovým modelom. Získať zručnosti v konštruovaní umelých gramatík, abstrakných automatov, Turingových a počítadlových strojov.
Teória formálnych jazykov a automatov a jej aplikácie. Teória vyčísiteľnosti.
Úvod do abstraktnej teórie zložitosti. Cieľom predmetu je získať znalosti o Chomského hierarchii jazykov a jej vzťahu k abstrakným výpočtovým modelom. Získať zručnosti v konštruovaní umelých gramatík, abstrakných automatov, Turingových a počítadlových strojov.
- Teacher: Anna Bou Ezzeddine
- Teacher: Anna Bou Ezzedine
- Non-editing teacher: Patrik Hlavac
- Non-editing teacher: Martin Konopka
- Non-editing teacher: Peter Krammer
- Non-editing teacher: Peter Laurinec
- Non-editing teacher: Robert Moro
- Non-editing teacher: Matej Noga
- Non-editing teacher: Anna Povazanova
