teória formálnych jazykov
- disciplína matematiky a časť teoretickej informatiky skúmajúca formálne jazyky.