Sadržaj
4 odnosi: Računarstvo, Rekurzivno prebrojiv jezik, Teorija automata, Turingov stroj.
Računarstvo
Računalstvo ili računarstvo (računarska znanost ili znanost o računalima) se bavi proučavanjem teoretskih osnova informacije i računanja, te njihovim implementacijama i primjenama u računalnim sustavima.
Pogledaj Modeli Turingovog stroja i Računarstvo
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 Modeli Turingovog stroja i Rekurzivno prebrojiv jezik
Teorija automata
U teoretskom računarstvu, teorija automata je disciplina koja se bavi proučavanjem apstraktnih strojeva i problema koje oni mogu riješiti.
Pogledaj Modeli Turingovog stroja i Teorija automata
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).