En informatique théorique, une machine de Turing non ambigüe est une machine de Turing non déterministe qui admet au plus une exécution acceptante.

Notes et références

Catégorie:Théorie de la complexité des algorithmes Catégorie:Théorie des automates