Hľadať zamestnanie pre fulltextom
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ú.
čítajte viac o Teória formálnych jazykov
Encyklopédia: ROBOTA.SK > Informatika > Formálne jazyky a automaty >
Príbuzné výrazy:
Abeceda (teória automatov)
Automat (teória automatov)
Bezkontextová gramatika
Chomského hierarchia
Dyckov jazyk
Formálny jazyk
Frázová gramatika
Gramatika (informatika)
Text je dostupný za podmienok Creative
Commons Attribution/Share-Alike License 3.0 Unported; prípadne za ďalších
podmienok.
Podrobnejšie informácie nájdete na stránke Podmienky
použitia.