Variants of Turing Machine
- 1. Costas Busch - RPI 1 Variations of the Turing Machine
- 2. Costas Busch - RPI 2 Variations of the Standard Model • Stay-Option • Semi-Infinite Tape • Off-Line • Multitape • Multidimensional • Nondeterministic Turing machines with:
- 3. Costas Busch - RPI 3 Same Power of two classes means: For any machine of first class 1M there is a machine of second class 2M such that: )()( 21 MLML = And vice-versa
- 4. Costas Busch - RPI 4 Turing Machines with Stay-Option The head can stay in the same position ◊◊ a a c ◊◊ ◊b a cb b a a Left, Right, Stay L,R,S: moves
- 5. Costas Busch - RPI 5 Example: ◊◊ a a c ◊◊ ◊b a cb b a a Time 1 ◊◊ b a c ◊◊ ◊b a cb b a a Time 2 1q 2q 1q 2q Sba ,→
- 6. Costas Busch - RPI 6 1q 2q Sba ,→ 1q 2q Lba ,→ 3q Rxx ,→ Stay-Option Machine Simulation in Standard Machine For every symbol x
- 7. Costas Busch - RPI 7 Example ◊ ◊a a b a 1q Stay-Option Machine: 1 ◊ ◊b a b a 2q 2 1q 2qSba ,→ Simulation in Standard Machine: ◊ ◊a a b a 1q 1 ◊ ◊b a b a 2q 2 ◊ ◊b a b a 3q 3
- 8. Costas Busch - RPI 8 Standard Machine--Multiple Track Tape ◊ ◊ ◊ ◊ ◊ ◊ b d a b b a a c track 1 track 2 one symbol
- 9. Costas Busch - RPI 9 Semi-Infinite Tape ......... # a b a c ◊ ◊
- 10. Costas Busch - RPI 10 The Off-Line Machine Control Unit Input File Tape read-only a b c d eg ◊ ◊◊◊ read-write
- 11. Costas Busch - RPI 11 1. Copy input file to tape Input File a b c ◊◊ ◊ Tape a b c◊ ◊ ◊ Standard machine Off-line machine a b c
- 12. Costas Busch - RPI 12 2. Do computations as in Turing machine Input File a b c ◊◊ ◊ Tape a b c◊ ◊ ◊ a b c 1q 1q Standard machine Off-line machine
- 13. Costas Busch - RPI 13 Standard Turing machines simulate Off-line machines: Use a Standard machine with four track tape to keep track of the Off-line input file and tape contents
- 14. Costas Busch - RPI 14 Multitape Turing Machines ◊◊ a b c ◊◊ e f g Control unit Tape 1 Tape 2 Input
- 15. Costas Busch - RPI 15 ◊◊ a b c ◊◊ e f g 1q 1q ◊◊ a g c ◊◊ e d g 2q 2q Time 1 Time 2 RLdgfb ,),,(),( → 1q 2q Tape 1 Tape 2
- 16. Costas Busch - RPI 16 Same power doesn’t imply same speed: Language }{ nn baL = Acceptance Time Standard machine Two-tape machine 2 n n
- 17. Costas Busch - RPI 17 NonDeterministic Turing Machines Lba ,→ Rca ,→ 1q 2q 3q Non Deterministic Choice
- 18. Costas Busch - RPI 18 a b c◊ ◊ 1q Lba ,→ Rca ,→ 1q 2q 3q Time 0 Time 1 b b c◊ ◊ 2q c b c◊ ◊ 3q Choice 1 Choice 2
- 19. Costas Busch - RPI 19 Input string is accepted if this a possible computation w yqxwq f ∗ 0 Initial configuration Final Configuration Final state
- 20. Costas Busch - RPI 20 Non-Deterministic Choices Computation 1 1q 2q 4q 3q 5q 6q 7q
- 21. Costas Busch - RPI 21 Non-Deterministic Choices Computation 2 1q 2q 4q 3q 5q 6q 7q
- 22. Costas Busch - RPI 22 Theorem: NonDeterministic Machines have the same power with Deterministic machines
- 23. Costas Busch - RPI 23 Remark: The simulation in the Deterministic machine takes time exponential time compared to the NonDeterministic machine