nondeterministic Turing machines

== English == === Noun === nondeterministic Turing machines plural of nondeterministic Turing machine