15 odnosi: Apstraktni stroj, Funkcijski problem, Kontekstno neovisna gramatika, Kontekstno ovisna gramatika, Matematička logika, Nedeterministički Turingov stroj, Podskup, Problem odluke, Računska teorija složenosti, Računski model, Regularna gramatika, Rekurzivni jezik, Rekurzivno prebrojiv jezik, Teorija izračunljivosti, Turingov stroj.
Apstraktni stroj
Apstraktni stroj, još zvan i apstraktno računalo, je teoretski model računalnog sklopovlja ili programske podrške korištene u teoriji automata.
Novi!!: Klasa složenosti i Apstraktni stroj · Vidi više »
Funkcijski problem
U računskoj teoriji složenosti, funkcijski problem je problem različit od problema odluke, to jest, problem koji zahtijeva složeniji odgovor od pukog da/ne.
Novi!!: Klasa složenosti i Funkcijski problem · Vidi više »
Kontekstno neovisna gramatika
U lingvistici i računarstvu, kontekstno neovisna gramatika (KNG) (rjeđe još i kontekstno slobodna gramatika ili gramatika neovisna o sadržaju, te još i bezokolinska gramatikaKiš Miroslav, Englesko-hrvatski i hrvatsko-engleski informatički rječnik, Zagreb, Naklada Ljevak, 2000., str. 234) je formalna gramatika u kojoj je svaka produkcija oblika gdje je V nezavršni znak a w niz znakova (string) koji se sastoji od završnih i/ili nezavršnih znakova.
Novi!!: Klasa složenosti i Kontekstno neovisna gramatika · Vidi više »
Kontekstno ovisna gramatika
Kontekstno ovisna gramatika (rjeđe još i gramatika ovisna o sadržaju, te okolinska gramatika, kontekstualna gramatikaKiš Miroslav, Englesko-hrvatski i hrvatsko-engleski informatički rječnik, Zagreb, Naklada Ljevak, 2000., str. 234) je formalna gramatika u kojoj lijeve i desne strane bilo koje produkcije mogu biti okružene kontekstom završnih i nezavršnih znakova.
Novi!!: Klasa složenosti i Kontekstno ovisna gramatika · Vidi više »
Matematička logika
Matematička ili moderna logika je grana matematike i logike koja se bavi prikazom tradicionalne logike simbolima (pa se još naziva i simboličkom logikom), pri čemu je sve potpuno definirano te nema mogućnosti različitog shvaćanja kao što je to često u tradicionalnoj logici.
Novi!!: Klasa složenosti i Matematička logika · Vidi više »
Nedeterministički Turingov stroj
U računarstvu, nedeterministički Turingov stroj (NTS) je Turingov stroj čiji upravljački mehanizam operira slično onome nedeterminističkog konačnog automata.
Novi!!: Klasa složenosti i Nedeterministički Turingov stroj · Vidi više »
Podskup
U matematici, a posebno u teoriji skupova, skup A je podskup skupa B ako je A sadržan u B. Pritom A može biti jednak B.
Novi!!: Klasa složenosti i Podskup · Vidi više »
Problem odluke
U teoriji izračunljivosti i računskoj teoriji složenosti, problem odluke je pitanje postavljeno u nekom formalnom sustavu s da/ne odgovorom.
Novi!!: Klasa složenosti i Problem odluke · Vidi više »
Računska teorija složenosti
Kao grana teorije računanja u računarstvu, računska teorija složenosti opisuje skalabilnost algoritama, te inherentnu teškoću u pružanju skalabilnih algoritama za specifične računske probleme.
Novi!!: Klasa složenosti i Računska teorija složenosti · Vidi više »
Računski model
Računski model je matematički model u računskoj znanosti koji zahtijeva opširne računske resurse kako bi proučavao ponašanje složenog sustava računalnom simulacijom.
Novi!!: Klasa složenosti i Računski model · Vidi više »
Regularna gramatika
U računarstvu, regularna gramatika (još i pravilna gramatikaKiš Miroslav, Englesko-hrvatski i hrvatsko-engleski informatički rječnik, Zagreb, Naklada Ljevak, 2000., str. 785) je desna regularna gramatika ili desno-linearna gramatika ako je formalna gramatika (N, Σ, P, S) kojoj su sve produkcije iz skupa P oblika.
Novi!!: Klasa složenosti i Regularna gramatika · Vidi više »
Rekurzivni jezik
U matematici, logici i računarstvu, rekurzivni jezik je tip formalnog jezika koji se još zove i rekurzivan, odlučiv ili Turing-odlučiv.
Novi!!: Klasa složenosti i Rekurzivni jezik · Vidi više »
Rekurzivno prebrojiv jezik
U matematici, logici i računarstvu, rekurzivno prebrojiv jezik je tip formalnog jezika koji se još zove i parcijalno odlučiv ili Turing-prepoznatljiv.
Novi!!: Klasa složenosti i Rekurzivno prebrojiv jezik · Vidi više »
Teorija izračunljivosti
* Teorija rekurzije, grana matematičke logike, suvremeno nazvana teorijom izračunljivosti.
Novi!!: Klasa složenosti i Teorija izračunljivosti · Vidi više »
Turingov stroj
Turingovi strojevi su iznimno jednostavni apstraktni uređaji za manipulaciju znakovima (simbolima) koji - unatoč jednostavnosti dizajna - mogu biti prilagođeni da simuliraju logiku bilo kojeg računalnog algoritma (uz sadašnje poimanje algoritma).
Novi!!: Klasa složenosti i Turingov stroj · Vidi više »