<!--===============================================-->
<!--  TM.xml                                       -->
<!--  The interpreter of the Turing machine        -->
<!--===============================================-->
<!-- Example of the program for the Turing machine -->
<!-- Multiplication on 2 in a unary notation       -->
<!--===============================================-->


<!DOCTYPE Go SYSTEM "TM.dtd">

<Go>

<Instruction CurrentState="start"
             CurrentSymbol="B" NextSymbol="B"
             NextState="stop"  Movement="right">
<Instruction CurrentState="start"
             CurrentSymbol="Q" NextSymbol="Q"
             NextState="start" Movement="right">
<Instruction CurrentState="start"
             CurrentSymbol="P"    NextSymbol="Q"
             NextState="moveleft" Movement="left">
<Instruction CurrentState="moveleft"
             CurrentSymbol="Q"    NextSymbol="Q"
             NextState="moveleft" Movement="left">
<Instruction CurrentState="moveleft"
             CurrentSymbol="B" NextSymbol="Q"
             NextState="start" Movement="right">
</Instruction>
</Instruction>
</Instruction>
</Instruction>
</Instruction>

<State>start</State>

<TapeLeft>
<Nod><Square>B</Square><Nod><Square>B</Square><Nod><Square>B</Square>
<Nod><Square>B</Square><Nod><Square>B</Square><Nod><Square>B</Square>
<Nod><Square>B</Square><Nod><Square>B</Square><Nod><Square>B</Square>
<Nod><Square>B</Square>
</Nod></Nod></Nod></Nod></Nod></Nod></Nod></Nod></Nod></Nod>
</TapeLeft>

<Symbol>P</Symbol>

<TapeRight>
<Nod><Square>P</Square><Nod><Square>P</Square><Nod><Square>P</Square>
<Nod><Square>P</Square><Nod><Square>P</Square><Nod><Square>P</Square>
<Nod><Square>P</Square><Nod><Square>B</Square><Nod><Square>B</Square>
<Nod><Square>B</Square>
</Nod></Nod></Nod></Nod></Nod></Nod></Nod></Nod></Nod></Nod>
</TapeRight>

</Go>