Seguimos con el determinismo sin estar determinados

Sigue la discusión, o al menos intentamos nuevamente fogonearla. En las polémicas previas se habló de funciones, desde un punto de vista matemático, pero no se tomaron en cuenta a los autómatas. Un autómata determinista es aquel cuyo estado de llegada está determinado por el estado inicial; un autómata no determinista es aquel que posee ninguna, una o más transiciones para el mismo caracter del alfabeto. Como la función lleva a un conjunto de estados, el autómata puede estar en varios de ellos a la vez.Es interesante observar que el autómata puede ser representado como un grafo, en el que los nodos son los estados y los vínculos son las funciones de transición. En ninguna parte de la definición se aclara que el autómata no determinista posee ese carácter por la introducción del azar, es simplemente la función de transición la que lleva a que el autómata pueda estar en más de una posición a la vez. Esto, creo, plantea un nuevo problema a la vieja discusión y que tiene que ver con no necesariamente hay ausencia de determinismo o mejor dicho presencia de no determinismo cuando interviene el azar. Esto de algún modo coincide con la multifinalidad descripta en la vieja y querida teoría de sistemas. Y que nadie venga a decir que al autómata no determinista le falta rigor...