Conclusiones

Conway advierte en su libro, que ésta demostración del teorema de Kleene, proporciona un procedimiento bastante bueno para pasar de máquinas a expresiones regulares, pero muy ineficiente para el caso inverso. Esto es comprobable dado que al aumentar la longitud de la expresión regular que describe su comportamiento, el tamaño de la máquina crece rápidamente, lo que suele resultar catastrófico si no se tiene el cuidado durante éste proceso.
La concepción de una máquina que pueda simular el comportamiento de cualquier otra máquina como el mecanismo lineal definido por Conway [JC71, cap. 3] nos recuerda inmediatamente a la máquina de Turing mencionada al principio de este documento, la cual tiene la capacidad de simular el comportamiento de cualquier tipo de autómata e incluso de simular el comportamiento de todas las variaciones de ella misma.
Habría que ver si esta descripción de mecanismos capaces de simular o embeber el comportamiento de otros mecanismos es aplicable en otros contextos como por ejemplo en la biología, donde por lo regular se sabe el resultado de un experimento, pero raramente se es conciente de el proceso interno que se lleva a cabo para obetner dicha salida.