Histoire des mathématiques Concept

machine de Turing non déterministe

Concept

peut avoir un ensemble de règles qui prescrit plus d'une action pour une situation donnée ; l'état et le symbole de la bande ne spécifient plus les choses de manière unique ; à la place, plusieurs actions différentes peuvent s'appliquer pour la même combinaison d'état et de symbole

Traduit de l’anglais automatiquement, puis relu. « may have a set of rules that prescribes more than one action for a given situation; state and tape symbol no longer uniquely specify things; rather, many different actions may apply for the same combination of state and symbol »

Liens

porte le nom de
a pour branche

Sources