Mesin-mesin Turing adalah suatu jenis abstraksi dari komputasi dan merupakan pemodelan yang sangat sederhana dari komputer. Mesin Turing sebagai model komputasi teoritis berfungsi sebagai model ideal untuk melakukan ...