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
- 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 )
Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.