Otvori glavni izbornik

Promjene

m
Kao dodatak općenitim računskim modelima, neki jednostavniji računski modeli su korisni za posebne, ograničene primjene. [[Regularni izraz]]i, na primjer, se koriste za specificiranje uzoraka stringa u mnogim kontekstima, od programske podrške za uredsku produktivnost pa do [[programski jezik|programskih jezika]]. Drugi formalizam matematički istovjetan regularnim izrazima, [[konačni automat]]i, se koristi u dizajnu elektroničkih krugova i pri rješavanju nekih problema. [[Kontekstno neovisna gramatika|Kontekstno neovisne gramatike]] se rabe prilikom specifikacije sintakse programskih jezika. Nedeterministički [[potisni automat]]i su drugi formalizam istovjetan kontekstno neovisnim gramatikama. [[Primitivno rekurzivna funkcija|Primitivno rekurzivne funkcije]] su potklasa rekurzivnih funkcija.
 
Različiti modeli računanja imaju sposobnost obavljanja različitih zadataka. Jedan način mjerenja moći računskog modela jest proučavanje klase [[formalni jezik|formalnih jezika]] koje model može generirati - ovo vodi ka [[Chomskyjeva hijerarhija|Chomskyjevoj hijerarhiji]] jezika.
 
== Daljnje čitanje ==
3.196

uređivanja