Sebuah mesin Turing adalah model matematika mesin komputer umum. Ini adalah perangkat teoritis yang memanipulasi simbol terkandung pada strip tape. Mesin turing tidak dimaksudkan sebagai teknologi komputasi praktis, tetapi sebagai percobaan pemikiran yang mewakili mesin komputasi apapun dari superkomputer canggih ke matematikawan dengan pensil dan kertas. Hal ini diyakini bahwa jika masalah dapat diselesaikan oleh algoritma, ada mesin Turing yang memecahkan masalah. Memang, ini adalah pernyataan dari thesis Gereja Turing. Selain itu, diketahui bahwa segala sesuatu yang dapat dihitung pada model komputasi lain yang kita kenal sekarang, seperti mesin RAM, Game of Life Conway, automata seluler atau bahasa pemrograman apapun dapat dihitung pada mesin Turing. Karena mesin Turing mudah dianalisa secara matematis, dan diyakini sama kuatnya dengan model komputasi lainnya, mesin Turing adalah model yang paling umum digunakan dalam teori kompleksitas.
Secara umum diasumsikan bahwa mesin Turing dapat memecahkan apa pun yang mampu juga diselesaikan menggunakan apa?
algoritma algoritma algoritma