There are two kinds of TM's that concern us right here: deterministic and non-deterministic. A deterministic TM only has 1 transition from Every state for every symbol that it's reading from the tape. A non-deterministic TM could have many these types of transition, i. e. it can Check out several options concurrently. This is certainly kind of like