unambiguous Turing machine
special kind of non-deterministic Turing machine, which, in some sense, is similar to a deterministic Turing machine; for each input, there is exactly one computation possible
special kind of non-deterministic Turing machine, which, in some sense, is similar to a deterministic Turing machine; for each input, there is exactly one computation possible