2-sirti - Simulating 2-tape TM on a single-tape TM Some...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
Simulating 2-tape TM on a single-tape TM – Some details INITIALIZATION: a Γ \ [ [ $ 1 a 0 Γ 0 p 0 p 1 ,a 0 ,R p 1 ,[ 0 ,R p 1 p 1 ,a,R p 2 , $ 1 ,R p 2 p 3 ,[ 0 ,R p 3 p 4 , $ 2 ,L p 4 p 5 ,a 0 ,L p 5 p 5 ,a,L p 5 , $ 1 ,L q 0 ,a 0 ,S SIMULATION – COLLECTING THE INFORMATION: a Γ ∪ { $ 1 } a 0 Γ 0 q : q Q q a ,a 0 ,R q b : q Q,b Γ q b ,a,R q b,a ,a 0 ,S MAKING THE DECISION: If δ ( q,a,b ) = ( p, ( t,u ) , ( d 1 ,d 2 )) then c Γ δ * ( q a,b ,c 0 ) = ( p t,u,d 1 ,d 2 ,c 0 ,S ) MAKING THE CHANGES: a Γ a 0 Γ 0 $ 1 $ 2 p
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 03/12/2011 for the course CS 236343 taught by Professor Bensasson during the Winter '11 term at Technion.

Ask a homework question - tutors are online