Tomuto článku alebo sekcii chýbajú odkazy na spoľahlivé zdroje, môže preto obsahovať informácie, ktoré je potrebné ešte overiť. Pomôžte Wikipédii a doplňte do článku citácie, odkazy na spoľahlivé zdroje.

Teória formálnych jazykov je teoretická disciplína informatiky študujúca vlastnosti (formálnych) jazykov a modelov na ich opis: gramatík a automatov. Je veľmi úzko spojená s lingvistikou a teóriou vypočítateľnosti. Poskytuje veľmi dôležité nástroje na formalizáciu výpočtov a pevné základy pre tvorbu kompilátorov. Na problémy sa dá pozerať ako na jazyky, pričom poznatky z teórie formálnych jazykov nám pomáhajú dokázať, aké je ťažké ich vyriešiť, príp. či sa vôbec riešiť dajú.

Tento článok týkajúci sa počítačov je zatiaľ „výhonok“. Pomôž Wikipédii tým, že ho doplníš a rozšíriš.