7 vzťahy: Formálny jazyk, Gramatika (informatika), Informatika, Jazykoveda, Kompilátor (programovanie), Teória, Teória vypočítateľnosti.
Formálny jazyk
(Formálny) jazyk je zovšeobecnenie pojmu jazyk z lingvistiky.
Nový!!: Teória formálnych jazykov a Formálny jazyk · Pozrieť viac »
Gramatika (informatika)
Gramatika je množina pravidiel určujúcich, ktoré vety (t. j. postupnosti znakov a hlások) patria do jazyka a ktoré nie.
Nový!!: Teória formálnych jazykov a Gramatika (informatika) · Pozrieť viac »
Informatika
Informatika je veda o informácii a jej automatickom spracovaní (je to veda o algoritmickom riešení problémov).
Nový!!: Teória formálnych jazykov a Informatika · Pozrieť viac »
Jazykoveda
Jazykoveda alebo lingvistika je veda skúmajúca (spravidla prirodzený) jazyk.
Nový!!: Teória formálnych jazykov a Jazykoveda · Pozrieť viac »
Kompilátor (programovanie)
Ideálny kompilátor (po anglicky) Kompilátor alebo kompilujúci program (anglicky: compiler) je počítačový program, ktorý dokáže preložiť zdrojový kód napísaný v jednom programovacom jazyku (tzv. zdrojovom jazyku) do iného programovacieho jazyka (tzv. cieľového jazyka).
Nový!!: Teória formálnych jazykov a Kompilátor (programovanie) · Pozrieť viac »
Teória
Teória je súbor tvrdení o predmete výskumu, ktoré v danej etape poznania považujeme za pravdivé.
Nový!!: Teória formálnych jazykov a Teória · Pozrieť viac »
Teória vypočítateľnosti
Teória vypočítateľnosti je oblasť informatiky, ktorú tvorí o. i. teória algoritmov, a ktorá skúma problémy, jazyky, množiny, funkcie atď.
Nový!!: Teória formálnych jazykov a Teória vypočítateľnosti · Pozrieť viac »