Sangat kuat (abstrak) mesin yang bisa mensimulasikan setiap komputer modern (meskipun sangat, sangat lambat!) Mengapa merancang mesin tersebut? Jika masalah tidak bisa "diselesaikan" bahkan menggunakan TM, maka itu berarti bahwa masalahnya adalah diputuskan komputabilitas vs . decidability
Sedang diterjemahkan, harap tunggu..
