O que serve de base tanto para máquinas de Turing probabilísticas como non deterministas Dado a pregunta anterior, escriba un contexto que conteña a resposta. Pode ser de 1 a 20 frases. Contexto:
Unha máquina de Turing determinista é a máquina de Turing máis básica, que usa un conxunto fixo de regras para determinar as súas accións futuras. Unha máquina de Turing probabilística é unha máquina de Turing determinista con un suplemento extra de bits aleatorios. A capacidade de tomar decisións probabilísticas adoita axudar aos algoritmos a resolver problemas de forma máis eficiente. Os algoritmos que usan bits aleatorios denomínanse algoritmos aleatorizados. Unha máquina de Turing non determinista é unha máquina de Turing determinista cunha característica adicional de non determinismo, que permite que unha máquina de Turing teña múltiples accións futuras posibles a partir dun estado dado. Unha forma de ver o non-determinismo é que a máquina de Turing se ramifica en moitos posibles camiños computacionais en cada paso, e se resolve o problema en calquera destas ramas, dicíase que resolveu o problema. Claramente, este modelo non está destinado a ser un modelo fisicamente realizable, é só unha máquina abstracta teoricamente interesante que dá lugar a clases de complexidade particularmente interesantes. Para exemplos, véxase algoritmo non determinístico.