ماشین تورینگ یک مدل منطقی ریاضی از رایانش است که میتواند منطق الگوریتمها را همانند سازی کند و بنیاد علوم کامپیوتر محسوب میشود.
ماشین تورینگ یک ماشین فرضی است که آلن تورینگ آن را خلق کرده است. در میان دستاورد های بسیار او، آلن تورینگ پدر نظریه علوم کامپیوتر ،هوش مصنوعی و خالق الگوریتم ها ...
همگی دارای قدرت یکسان با ماشین تورینگ ماشین تورینگ معرفی شده. Page 35. ماشین ... قضیه هر ماشین تورینگ چندنواره، ماشین تورینگ تک نواره متناظر دارد . اثبات ...