Assertion: machine | /r/CapableOf | spawn the tape
Facets:
value: for each alternative available transition
type: PURPOSE
Source sentences:
text: One way to visualize the computation of a non-deterministic Turing machine is that the machine spawns an exact copy of itself and the tape for each alternative available transition, and each machine continues the computation.