<!--===============================================-->
<!--  tmmul2.xml                                   -->
<!--  The interpreter of the Turing machine        -->
<!--===============================================-->
<!-- Example of the program for the Turing machine -->
<!-- Delete of points between units                -->
<!--===============================================-->

<!DOCTYPE TM SYSTEM "tm.dtd">

<TM>

<Instruction CurrentState="A" CurrentSymbol="b" NextSymbol="b" NextState="B" Move="R">
<Instruction CurrentState="B" CurrentSymbol="l" NextSymbol="l" NextState="B" Move="R">
<Instruction CurrentState="B" CurrentSymbol="r" NextSymbol="r" NextState="B" Move="R">
<Instruction CurrentState="B" CurrentSymbol="(" NextSymbol="(" NextState="B" Move="R">
<Instruction CurrentState="B" CurrentSymbol="b" NextSymbol="b" NextState="D" Move="L">
<Instruction CurrentState="B" CurrentSymbol=")" NextSymbol="r" NextState="C" Move="L">
<Instruction CurrentState="C" CurrentSymbol="l" NextSymbol="l" NextState="C" Move="L">
<Instruction CurrentState="C" CurrentSymbol="r" NextSymbol="r" NextState="C" Move="L">
<Instruction CurrentState="C" CurrentSymbol="(" NextSymbol="l" NextState="B" Move="R">
<Instruction CurrentState="C" CurrentSymbol="b" NextSymbol="F" NextState="Z" Move="R">
<Instruction CurrentState="D" CurrentSymbol="l" NextSymbol="(" NextState="D" Move="L">
<Instruction CurrentState="D" CurrentSymbol="r" NextSymbol=")" NextState="D" Move="L">
<Instruction CurrentState="D" CurrentSymbol="(" NextSymbol="F" NextState="Z" Move="R">
<Instruction CurrentState="D" CurrentSymbol="b" NextSymbol="T" NextState="Z" Move="L">
</Instruction>
</Instruction>
</Instruction>
</Instruction>
</Instruction>
</Instruction>
</Instruction>
</Instruction>
</Instruction>
</Instruction>
</Instruction>
</Instruction>
</Instruction>
</Instruction>

<State>A</State>

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

<Symbol>b</Symbol>

<TapeRight>
<Node><Square>(</Square>
<Node><Square>(</Square>
<Node><Square>)</Square>
<Node><Square>)</Square>
<Node><Square>(</Square>
<Node><Square>)</Square>
<Node><Square>(</Square>
<Node><Square>)</Square>
<Node><Square>(</Square>
<Node><Square>)</Square>
<Node><Square>(</Square>
<Node><Square>)</Square>
<Node><Square>b</Square>
<Node><Square>b</Square>
<End/>
</Node>
</Node>
</Node>
</Node>
</Node>
</Node>
</Node>
</Node>
</Node>
</Node>
</Node>
</Node>
</Node>
</Node>
</TapeRight>

</TM>