nondeterministic Turing machine with a potentially infinite tape on which to compute, in which computation is restricted to the portion of the tape containing the input plus the two tape squares holding the endmarkers
--Agreed Upon Solutions
The discussion does not exist would you like to add the first comment?