Las máquinas de Turing más grandes para las cuales el problema de detención es decidible son:
(donde T M ( k , l ) es el conjunto de máquinas de Turing con k estados y l símbolos).TM(2,3),TM(2,2),TM(3,2)TM(k,l)kl
La capacidad de decisión de y T M ( 3 , 3 ) está en el límite y es difícil de resolver porque depende de la conjetura de Collatz, que es un problema abierto.TM(2,4)TM(3,3)
Véase también mi respuesta sobre teoría sobre máquinas Turing tipo Collatz y " Pequeñas máquinas Turing y competencia generalizada de castores ocupados " por P. Michel (2004) (en el que se conjetura que también es decidible).TM(4,2)
El comentario de Kaveh y la respuesta de Mohammad son correctos, por lo que para una definición formal de las máquinas Turing estándar / no estándar utilizadas en este tipo de resultados, ver Turlough Neary y Damien Woods trabajan en máquinas Turing universales pequeñas, por ejemplo, la complejidad de las máquinas Turing universales pequeñas: una encuesta (los Reglamentos de la Norma 110 son débilmente universales).