Mesin Turing adalah model matematika dari mesin komputasi umum. Ini adalah perangkat teoretis yang memanipulasi simbol yang terdapat pada selotip. Mesin Turing tidak dimaksudkan sebagai teknologi komputasi praktis, melainkan sebagai eksperimen pemikiran yang mewakili mesin komputasi — apa pun dari komputer super canggih hingga ahli matematika dengan pensil dan kertas. Diyakini bahwa jika suatu masalah dapat diselesaikan dengan suatu algoritma, ada mesin Turing yang memecahkan masalah tersebut. Memang, ini adalah pernyataan dari tesis Gereja-Turing. Lebih lanjut, diketahui bahwa segala sesuatu yang dapat dihitung pada model perhitungan lain yang kita kenal sekarang, seperti mesin RAM, Permainan Kehidupan Conway, automata seluler atau bahasa pemrograman apa pun dapat dihitung pada mesin Turing. Karena mesin Turing mudah dianalisis secara matematis, dan diyakini sama kuatnya dengan model komputasi lainnya, mesin Turing adalah model yang paling umum digunakan dalam teori kompleksitas.
Apa model ilmiah dari mesin komputasi umum?
Mesin Turing
Mesin Turing
Apa PRI
model NNO
ilmiah ADJ
dari PPO
mesin NNO
komputasi NNO
umum ADJ
? PUN