Untuk definisi yang tepat dari apa artinya untuk memecahkan masalah menggunakan jumlah waktu dan ruang yang diberikan, model komputasi seperti mesin Turing deterministik digunakan. Waktu yang diperlukan oleh mesin deterministik Turing M pada masukan x adalah jumlah total transisi negara, atau langkah, mesin membuat sebelum berhenti dan keluar jawabannya ("ya" atau "tidak"). Sebuah mesin Turing M konon beroperasi dalam waktu dekat Fresslern), jika waktu yang diperlukan oleh M pada setiap masukan panjang n adalah paling f↑n). Masalah keputusan A dapat diselesaikan dalam waktu f↑n) jika ada mesin Turing yang beroperasi dalam waktu f○n) yang memecahkan masalah tersebut. Karena teori kompleksitas tertarik untuk mengklasifikasikan masalah berdasarkan kesulitan mereka, satu mendefinisikan set masalah berdasarkan beberapa kriteria. Misalnya, serangkaian problem dapat dipecahkan dalam waktu dekat f↑n) pada mesin Turing yang menentukan kemudian diisyaratkan oleh DTIME Allah).
Apa ungkapan yang digunakan untuk mengidentifikasi serangkaian solusi yang diberikan yang mampu diselesaikan dalam waktu dekat pada mesin turing deterministik?
DTIME Allah).