Тјурингова машина: Разлика помеѓу преработките

компјутер.Тјуринговите машини се опишани во 1936 од Alan Turing.Иако биле наменети за технички изводлива работа, Тјуринговите машини немале улога во практичната компјутерска технологија , но со истражување за границите на механичкото пресметување; тие всушност никогаш не биле направени (конструирани).

Тјурингова машина која истовремено е способна да симулира и било која друга Тјурингова машина се нарекува Универзална Тјурингова машина (УТМ, или едноставно универзална машина). Поконкретна математичка дефиниција со слична универзална природа беше претставена од Alonzo Church, чија работа на lambda calculus се спои со Тјуринговата во формалната теорија на пресметување позната како теза на Church–Turing. Тезата дека Тјуринговите машини навистина ги опфаќаат информациите за ефективните методи од логиката и математиката, и овозможуваат презцизна дефиниција на алгоритам или механичка процедура.

[[Категорија:Компјутери]]

[[Категорија:Програмски јазици]]