Teória formálnych jazykov
Z Wikipédie
Teória formálnych jazykov je teoretická disciplína informatiky študujúca vlastnosti (formálnych) jazykov a modelov na ich popis: 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 jazyky sa dá pozerať ako na problémy, 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ú.