Untuk definisi yang tepat tentang apa artinya menyelesaikan masalah menggunakan jumlah waktu dan ruang yang diberikan, model komputasi seperti mesin Turing deterministik digunakan. Waktu yang dibutuhkan oleh mesin Turing deterministik M pada input x adalah jumlah total transisi keadaan, atau langkah-langkah yang dibuat mesin sebelum berhenti dan mengeluarkan jawaban ("ya" atau "tidak"). Mesin Turing M dikatakan beroperasi dalam waktu f (n), jika waktu yang dibutuhkan oleh M pada setiap input panjang n paling banyak adalah f (n). Masalah keputusan A dapat diselesaikan dalam waktu f (n) jika ada mesin Turing yang beroperasi dalam waktu f (n) yang memecahkan masalah. Karena teori kompleksitas tertarik untuk mengklasifikasikan masalah berdasarkan kesulitannya, orang mendefinisikan serangkaian masalah berdasarkan beberapa kriteria. Sebagai contoh, serangkaian masalah yang dapat diselesaikan dalam waktu f (n) pada mesin Turing deterministik kemudian dilambangkan dengan DTIME (f (n)).
Bagaimana mesin Turing M dikatakan tidak beroperasi?
dalam waktu f (n), jika waktu yang dibutuhkan oleh M pada setiap input dengan panjang n paling banyak adalah f (n).
dalam waktu f (n), jika waktu yang dibutuhkan oleh M pada setiap input panjang n paling banyak adalah f (n).
Bagaimana ADV
mesin NNO
Turing NNP
M NNP
dikatakan VBP
tidak NEG
beroperasi VBI
? PUN