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