For example, a non-deterministic Turing machine is a computational model that is allowed to branch out to check many different possibilities at once.
What type of Turing machine can be characterized by checking multiple possibilities at the same time?
non-deterministic