Tyuring mashinasi 1936 yilda Alan Tyuring tomonidan taklif qilingan va har qanday algoritmni amalga oshirish imkonini beradigan hisoblash modeli. U algoritm mavjudligini yoki yo‘qligini isbotlash uchun mo‘ljallangan matematik apparat bo‘lib, kompyuter texnologiyalarining rivojlanishiga katta turtki berdi. Tyuring mashinasi cheklangan holat mashinasining kengaytmasi hisoblanib, tashqi va ichki alifbo yordamida dasturni bajaradi, lentaga yozilgan ma'lumotlarni o'qish va yozish, boshqaruvning ichki holatini o‘zgartirish va lentani siljitish kabi amallarni bajaradi. Mashina algoritmlarning bajarilish vaqtini va zarur xotira hajmini baholashda yordam beradi. Uning asosiy komponentlari tashqi alifbo, ichki holatlar va o'tish stoli hisoblanadi. Amaliy misollar orqali murakkab hisoblash masalalarini yechish mumkin.