Počítačová věda. Výpočetní technika. Informační technologie překladače translators Kombinatorika. Teorie grafů. Matematická statistika. Operační výzkum. Matematické modelování Učební osnovy. Vyučovací předměty. Učebnice automata theory bezkontextové gramatiky context-free grammars formal languages formální jazyky programming programming languages programovací jazyky programování teorie automatů