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