Machine de Turing non ambigüe

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[1].

Notes et références
  1. L. Hemaspaandra et J. Rothe, « Unambiguous Computation: Boolean Hierarchies and Sparse Turing-Complete Sets », SIAM Journal on Computing, vol. 26, no 3,‎ , p. 634–653 (ISSN 0097-5397, DOI 10.1137/S0097539794261970, lire en ligne, consulté le )
  • Portail de l'informatique théorique
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.