Saya ingin menyandikan mesin Turing sederhana dalam aturan permainan kartu. Saya ingin menjadikannya mesin Turing universal untuk membuktikan kelengkapan Turing.
Sejauh ini saya telah membuat status permainan yang mengkode mesin Turing 2-simbol, 3-simbol Alex Smith . Namun, tampaknya (diakui berdasarkan Wikipedia) bahwa ada beberapa kontroversi mengenai apakah (2, 3) mesin itu benar-benar universal.
Demi rigour, saya ingin bukti saya menampilkan UTM "non-kontroversial". Jadi pertanyaan saya adalah:
Apakah mesin (2,3) umumnya dianggap universal, non-universal, atau kontroversial? Saya tidak tahu di mana tempat yang memiliki reputasi baik untuk mencari jawabannya.
Jika mesin (2,3) tidak diterima secara luas sebagai universal, apa N terkecil sehingga mesin (2, N) diterima secara nonkontroversi sebagai universal?
Diedit untuk menambahkan: Ini juga akan berguna untuk mengetahui persyaratan apa pun untuk pita tak terbatas untuk mesin yang disebutkan, jika Anda kebetulan mengetahuinya. Tampaknya (2,3) mesin membutuhkan keadaan awal kaset yang non-periodik, yang akan agak sulit untuk disimulasikan dalam aturan permainan kartu.