- Trending Categories
- Data Structure
- Operating System
- MS Excel
- C Programming
- Social Studies
- Fashion Studies
- Legal Studies
- Selected Reading
- UPSC IAS Exams Notes
- Developer's Best Practices
- Questions and Answers
- Effective Resume Writing
- HR Interview Questions
- Computer Glossary
- Who is Who
Explain about a non-deterministic Turing Machine?
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.
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.
- Related Articles
- 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 addition
- Construct Turing machine for subtraction
- Can we convert a non-deterministic finite automata into a deterministic finite Automata?
- Give implementation-level descriptions of a Turing machine?
- What is Turing Machine in TOC?
- Explain if the CFG is recognized by Non-deterministic push down automata