- Related Questions & Answers
- Distinguish between non-deterministic, deterministic and Turing Machine computational models?
- Explain the universal Turing machine in TOC
- Explain Turing Machine variant Two Stack PDA?
- Explain Multi tape Turing Machine in TOC?
- Explain Non-Deterministic Finite Automata in TOC.
- Explain the basic properties of the Turing machine?
- Explain non-deterministic push down automata in TOC?
- Difference between Deterministic and Non-deterministic Algorithms
- Design Turing machine for multiplication
- Construct Turing machine for subtraction
- Construct Turing machine for addition
- What is Turing Machine in TOC?
- What is Non deterministic finite automata?
- Give implementation-level descriptions of a Turing machine?
- Explain about Non - recourse factoring in financial management.

- Selected Reading
- UPSC IAS Exams Notes
- Developer's Best Practices
- Questions and Answers
- Effective Resume Writing
- HR Interview Questions
- Computer Glossary
- Who is Who

Non-determinism like in PDA (partially NFA) for one input configuration has several possible outputs.

The non-deterministic TM is like TM but with a finite number of choices of moves; may have more than 1 move with the same input “current state & current symbol”.

The non-deterministic TM accepts the input w if there is at least one computation that halts normally for the input w.

Non-determinism is more powerful than determinism for pushdown automata. But it makes no difference for finite automata.

Quite surprisingly, the deterministic and non-deterministic Turing machines are the same in power.

**Note:**

If a nondeterministic Turing machine accepts a language L, then there is a deterministic Turing machine that also accepts L.

There are many other similar machines, which might look more or less powerful, but which can be seen to be equivalent in power to the simple Turing machine (recognise the same recursive enumerable languages generated by the unrestricted grammars) − adding more tapes, more control units, . . .

Equivalence is shown by describing how a simple one tape Turing machine can be used to emulate them, and vice versa.

Advertisements