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

<!DOCTYPE TM SYSTEM "tm.dtd">

<TM>

<Instruction CurrentState="A" CurrentSymbol="b" NextSymbol="b" NextState="C" Move="L">
<Instruction CurrentState="A" CurrentSymbol="2" NextSymbol="2" NextState="A" Move="R">
<Instruction CurrentState="A" CurrentSymbol="1" NextSymbol="2" NextState="B" Move="L">
<Instruction CurrentState="B" CurrentSymbol="2" NextSymbol="2" NextState="B" Move="L">
<Instruction CurrentState="B" CurrentSymbol="b" NextSymbol="2" NextState="A" Move="R">
<Instruction CurrentState="C" CurrentSymbol="2" NextSymbol="1" NextState="C" Move="L">
<Instruction CurrentState="C" CurrentSymbol="b" NextSymbol="b" NextState="Z" Move="R">
</Instruction>
</Instruction>
</Instruction>
</Instruction>
</Instruction>
</Instruction>
</Instruction>

<State>A</State>

<TapeLeft>
<Node><Square>b</Square>
<Node><Square>b</Square>
<End/>
</Node>
</Node>
</TapeLeft>

<Symbol>1</Symbol>

<TapeRight>
<Node><Square>1</Square>
<Node><Square>1</Square>
<Node><Square>1</Square>
<Node><Square>1</Square>
<Node><Square>1</Square>
<Node><Square>1</Square>
<Node><Square>1</Square>
<End/>
</Node>
</Node>
</Node>
</Node>
</Node>
</Node>
</Node>
</TapeRight>

</TM>