There are two forms of TM's that concern us right here: deterministic and non-deterministic. A deterministic TM only has one transition from Every state for each symbol that it is actually reading from the tape. A non-deterministic TM can have various such transition, i. e. it can Examine various choices at the same time. This is certainly kind of