Una máquina de Turing no determinista (NTM) es un modelo teórico de computación más potente que una máquina de Turing determinista (DTM). Una NTM puede estar en múltiples estados simultáneamente y puede hacer elecciones no deterministas, mientras que una DTM sólo puede estar en un estado a la vez y sólo puede hacer elecciones deterministas.
Los NTM fueron propuestos por primera vez por Alan Turing en 1936 como una forma de formalizar el concepto de "no determinismo algorítmico". Desde entonces, las NTM se han utilizado como modelo teórico para el estudio de varios problemas computacionales, incluyendo el problema de la parada y el problema de la satisfacción.
A pesar de su poder teórico, se cree que las NTM no son físicamente realizables. Sin embargo, se han propuesto algunas implementaciones físicas de NTMs, como la Máquina de Turing Cuántica.
¿Qué es un DFA y un NFA?
Un DFA es un autómata finito determinista, mientras que un NFA es un autómata finito no determinista.
Un DFA tiene un número finito de estados, y cada transición de un estado a otro es determinista; es decir, dado el estado actual y el símbolo de entrada, sólo hay un estado siguiente. Un NFA, por otro lado, puede tener múltiples estados siguientes para un estado actual y un símbolo de entrada dados. Además, un NFA puede tener uno o más estados "finales" o "de aceptación", mientras que un DFA tiene sólo un estado final.
La figura de abajo muestra un DFA simple (izquierda) y un NFA (derecha) para el lenguaje regular {0,1}*. El lenguaje consiste en todas las cadenas de 0s y 1s. El DFA tiene dos estados, A y B, mientras que el NFA tiene tres estados, A, B, y C.
La tabla de transición del DFA es:
La tabla de transición del NFA es:
El DFA acepta todas las cadenas que terminan en un 1, mientras que el NFA acepta todas las cadenas que contienen un número par de 1s. ¿Qué son los eventos no deterministas? Algunos ejemplos de sucesos no deterministas son la generación de números aleatorios, la mecánica cuántica y el comportamiento animal. Estos sucesos no se pueden predecir con certeza, sino sólo con una cierta probabilidad.
¿Qué es un ejemplo no determinista?
Los algoritmos no deterministas son aquellos que, dada una entrada determinada, pueden producir más de una salida. Esto contrasta con los algoritmos deterministas, que siempre producirán la misma salida para una entrada determinada. Muchos algoritmos conocidos son deterministas, como el algoritmo de ordenación conocido como quicksort. Sin embargo, también hay algoritmos no deterministas, como el problema del viajante de comercio.
¿Pueden los ordenadores ser no deterministas?
Sí, los ordenadores pueden ser no deterministas. Esto se debe a que son capaces de generar resultados que no están totalmente determinados por su entrada. Esto significa que, aunque la entrada puede influir en la salida, no la determina completamente. Este tipo de comportamiento se ve a menudo en los generadores de números aleatorios, que utilizan algoritmos para generar números que parecen ser aleatorios, pero que en realidad están determinados por un conjunto de reglas predeterminadas. Eventos no deterministas: Algunos ejemplos de sucesos no deterministas son la generación de números aleatorios, la mecánica cuántica y el comportamiento animal. No se pueden prever con absoluta certeza, sino que sólo se pueden predecir con ciertas probabilidades.