Klasa složenosti

U računskoj teoriji složenosti, klasa složenosti je skup problema povezane složenosti.

Koristi AI

Sadržaj

1. 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.

2. Računska teorija složenosti
3. Teoretsko računarstvo

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.

Pogledaj Klasa složenosti i Apstraktni stroj

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.

Pogledaj Klasa složenosti i Funkcijski problem

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.

Pogledaj Klasa složenosti i Kontekstno neovisna gramatika

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.

Pogledaj Klasa složenosti i Kontekstno ovisna gramatika

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.

Pogledaj Klasa složenosti i Matematička logika

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.

Pogledaj Klasa složenosti i Nedeterministički Turingov stroj

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.

Pogledaj Klasa složenosti i Podskup

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.

Pogledaj Klasa složenosti i Problem odluke

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.

Pogledaj Klasa složenosti i Računska teorija složenosti

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.

Pogledaj Klasa složenosti i Računski model

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.

Pogledaj Klasa složenosti i Regularna gramatika

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.

Pogledaj Klasa složenosti i Rekurzivni jezik

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.

Pogledaj Klasa složenosti i Rekurzivno prebrojiv jezik

Teorija izračunljivosti

* Teorija rekurzije, grana matematičke logike, suvremeno nazvana teorijom izračunljivosti.

Pogledaj Klasa složenosti i Teorija izračunljivosti

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).

Pogledaj Klasa složenosti i Turingov stroj

Vidi također

Računska teorija složenosti

• Klasa složenosti
• Model računanja
• Računska teorija složenosti

Teoretsko računarstvo

• Algoritam
• Formalni jezik
• Klasa složenosti
• Lambda račun
• Računanje
• Računski problem
• Teoretsko računarstvo
• Turingov stroj

Unijapedija je koncept kartu ili semantičke mreže, organizirana kao enciklopedija - rječnik. To daje kratku definiciju svakog pojma i njegovih odnosa.

Ovo je div online mentalnu kartu koja služi kao temelj za dijagrame koncept. To je besplatan za korištenje i svaki članak ili dokument se može skinuti. To je alat, izvor ili referenca za studij, istraživanje, obrazovanje, učenje ili poučavanje, koji se može koristiti od strane nastavnika, nastavnika, učenika ili studenta; za akademsku svijetu: za škole, osnovno, srednje, gimnazije, srednje tehničke stupnja, koledž, sveučilište, preddiplomskih, diplomskih i doktorskih stupnjeva; za radove, izvješća, projekte, ideje, dokumentacije, ankete, sažetke, odnosno rada. Ovdje je definicija, objašnjenje, opis ili značenje svako bitnije na kojem trebate informacije, kao i popis njihovih povezanih koncepata kao riječnika. Dostupan u Hrvatski, Engleski, Španjolski, Portugalski, Japanski, Kineski, Francuski, Njemački, Talijanski, Polirati, Nizozemski, Ruski, Arapski, Hindski, Švedski, Ukrajinski, Mađarski, Katalonski, Češki, Hebrejski, Danski, Finski, Indonezijski, Norveški, Rumunjski, Turski, Vijetnamski, Korejski, Thai, Grčki, Bugarski, Slovački, Litvanski, Filipinac, Latvijski, Estonski i Slovenski Više jezicima.

Informacije se temelje na člancima s Wikipedije i drugim projektima Wikimedije i dostupne su pod licencom Creative Commons Imenovanje-Dijeli pod istim uvjetima.

Zaklada Wikimedia ne podržava niti je povezana s Unijapedija.

Google Play, Android i logotip Google Playa zaštitni su znaci tvrtke Google Inc.

Sva prava pridržana