Pretraži

E-kolegije
Nastavnike

Filtriraj


Akademska godina


Izbornik


Vrsta studija
Diplomski sveučilišni
ECTS bodova
0

Jezik kolegija
Hrvatski
Kolegij vidljiv
Da

Nositelji kolegija
Ime i prezime
Ivica Crnković
Josip Job
Izvođači nastave
Ime i prezime
Ivica Crnković
Sustav za e-učenje
Opis kolegija

Beskontekstni jezici. Kontekstno osjetljivi jezici. Stablo izvoda. Gramatike i strojevi: hijerarhija Chomskog, svojstva zatvorenosti, regularni i konačni jezici. Potisni automati i beskontekstne gramatike. Parsing. Turingov stroj i teorija jezika. Principi čvrste točke u teoriji jezika. Indukcije. Vrste semantika: operacijska, obilježna i aksiomatska. Izračunljivost. Problem zaustavljivosti i neodlučnosti. Goedelov teorem. Church – Turingova teza.