<?xml version="1.0" encoding="utf-8"?>
<AUTOMATON>
    <TYPE value="TM"/>
    <ALPHABET>
        <ITEM value="0"/>
        <ITEM value="1"/>
    </ALPHABET>
    <TAPEALPHABET>
        <ITEM value="$"/>
        <ITEM value="0"/>
        <ITEM value="1"/>
        <ITEM value="X"/>
        <ITEM value="Y"/>
    </TAPEALPHABET>
    <STATE name="q1" finalstate="false">
        <TRANSITION target="q2">
            <LABEL read="$" direction="RIGHT" write="X"/>
        </TRANSITION>
        <TRANSITION target="q1">
            <LABEL read="0" direction="LEFT" write="0"/>
            <LABEL read="1" direction="LEFT" write="1"/>
        </TRANSITION>
    </STATE>
    <STATE name="q2" finalstate="false">
        <TRANSITION target="q3">
            <LABEL read="$" direction="RIGHT" write="$"/>
        </TRANSITION>
        <TRANSITION target="q2">
            <LABEL read="0" direction="RIGHT" write="0"/>
            <LABEL read="1" direction="RIGHT" write="1"/>
        </TRANSITION>
    </STATE>
    <STATE name="q3" finalstate="false">
        <TRANSITION target="q4">
            <LABEL read="$" direction="LEFT" write="$"/>
        </TRANSITION>
        <TRANSITION target="q3">
            <LABEL read="0" direction="RIGHT" write="0"/>
            <LABEL read="1" direction="RIGHT" write="1"/>
        </TRANSITION>
    </STATE>
    <STATE name="q4" finalstate="false">
        <TRANSITION target="q5">
            <LABEL read="0" direction="LEFT" write="X"/>
            <LABEL read="1" direction="LEFT" write="Y"/>
        </TRANSITION>
        <TRANSITION target="q13">
            <LABEL read="$" direction="RIGHT" write="$"/>
        </TRANSITION>
    </STATE>
    <STATE name="q5" finalstate="false">
        <TRANSITION target="q6">
            <LABEL read="$" direction="LEFT" write="$"/>
            <LABEL read="Y" direction="LEFT" write="$"/>
        </TRANSITION>
        <TRANSITION target="q5">
            <LABEL read="0" direction="LEFT" write="0"/>
            <LABEL read="1" direction="LEFT" write="1"/>
        </TRANSITION>
    </STATE>
    <STATE name="q6" finalstate="false">
        <TRANSITION target="q6">
            <LABEL read="$" direction="LEFT" write="$"/>
            <LABEL read="Y" direction="LEFT" write="$"/>
        </TRANSITION>
        <TRANSITION target="q7">
            <LABEL read="0" direction="RIGHT" write="Y"/>
        </TRANSITION>
        <TRANSITION target="q9">
            <LABEL read="1" direction="RIGHT" write="Y"/>
        </TRANSITION>
        <TRANSITION target="q12">
            <LABEL read="X" direction="RIGHT" write="$"/>
        </TRANSITION>
    </STATE>
    <STATE name="q7" finalstate="false">
        <TRANSITION target="q7">
            <LABEL read="$" direction="RIGHT" write="$"/>
            <LABEL read="0" direction="RIGHT" write="0"/>
            <LABEL read="1" direction="RIGHT" write="1"/>
        </TRANSITION>
        <TRANSITION target="q8">
            <LABEL read="X" direction="LEFT" write="0"/>
            <LABEL read="Y" direction="LEFT" write="1"/>
        </TRANSITION>
    </STATE>
    <STATE name="q8" finalstate="false">
        <TRANSITION target="q5">
            <LABEL read="$" direction="LEFT" write="X"/>
            <LABEL read="0" direction="LEFT" write="X"/>
            <LABEL read="1" direction="LEFT" write="Y"/>
        </TRANSITION>
    </STATE>
    <STATE name="q9" finalstate="false">
        <TRANSITION target="q9">
            <LABEL read="$" direction="RIGHT" write="$"/>
            <LABEL read="0" direction="RIGHT" write="0"/>
            <LABEL read="1" direction="RIGHT" write="1"/>
        </TRANSITION>
        <TRANSITION target="q8">
            <LABEL read="X" direction="LEFT" write="1"/>
        </TRANSITION>
        <TRANSITION target="q10">
            <LABEL read="Y" direction="LEFT" write="0"/>
        </TRANSITION>
    </STATE>
    <STATE name="q10" finalstate="false">
        <TRANSITION target="q5">
            <LABEL read="$" direction="LEFT" write="Y"/>
            <LABEL read="0" direction="LEFT" write="Y"/>
        </TRANSITION>
        <TRANSITION target="q11">
            <LABEL read="1" direction="LEFT" write="X"/>
        </TRANSITION>
    </STATE>
    <STATE name="q11" finalstate="false">
        <TRANSITION target="q5">
            <LABEL read="$" direction="LEFT" write="1"/>
            <LABEL read="0" direction="LEFT" write="1"/>
        </TRANSITION>
        <TRANSITION target="q11">
            <LABEL read="1" direction="LEFT" write="0"/>
        </TRANSITION>
    </STATE>
    <STATE name="q12" finalstate="false">
        <TRANSITION target="q12">
            <LABEL read="$" direction="RIGHT" write="$"/>
        </TRANSITION>
        <TRANSITION target="q4">
            <LABEL read="X" direction="NONE" write="$"/>
            <LABEL read="Y" direction="LEFT" write="1"/>
        </TRANSITION>
    </STATE>
    <STATE name="q13" finalstate="true"/>
    <INITIALSTATE value="q1"/>
    <TAPEINITIALCHAR value="$"/>
    <LAYOUT>
        <STATELAYOUT name="q1">
            <LEFT value="100"/>
            <TOP value="100"/>
            <TRANSITIONLAYOUT target="q2" drawvertical="true"/>
            <TRANSITIONLAYOUT target="q1" drawvertical="true">
                <TOP value="-120"/>
            </TRANSITIONLAYOUT>
        </STATELAYOUT>
        <STATELAYOUT name="q2">
            <LEFT value="200"/>
            <TOP value="100"/>
            <TRANSITIONLAYOUT target="q3" drawvertical="true"/>
            <TRANSITIONLAYOUT target="q2" drawvertical="true">
                <TOP value="-120"/>
            </TRANSITIONLAYOUT>
        </STATELAYOUT>
        <STATELAYOUT name="q3">
            <LEFT value="200"/>
            <TOP value="216"/>
            <TRANSITIONLAYOUT target="q4" drawvertical="true"/>
            <TRANSITIONLAYOUT target="q3" drawvertical="true">
                <LEFT value="-136"/>
            </TRANSITIONLAYOUT>
        </STATELAYOUT>
        <STATELAYOUT name="q4">
            <LEFT value="200"/>
            <TOP value="326"/>
            <TRANSITIONLAYOUT target="q5" drawvertical="true"/>
            <TRANSITIONLAYOUT target="q13" drawvertical="true"/>
        </STATELAYOUT>
        <STATELAYOUT name="q5">
            <LEFT value="381"/>
            <TOP value="326"/>
            <TRANSITIONLAYOUT target="q6" drawvertical="true"/>
            <TRANSITIONLAYOUT target="q5" drawvertical="true">
                <TOP value="150"/>
            </TRANSITIONLAYOUT>
        </STATELAYOUT>
        <STATELAYOUT name="q6">
            <LEFT value="381"/>
            <TOP value="100"/>
            <TRANSITIONLAYOUT target="q6" drawvertical="true">
                <TOP value="-125"/>
            </TRANSITIONLAYOUT>
            <TRANSITIONLAYOUT target="q7" drawvertical="true"/>
            <TRANSITIONLAYOUT target="q9" drawvertical="true"/>
            <TRANSITIONLAYOUT target="q12" drawvertical="true"/>
        </STATELAYOUT>
        <STATELAYOUT name="q7">
            <LEFT value="731"/>
            <TOP value="100"/>
            <TRANSITIONLAYOUT target="q7" drawvertical="true">
                <LEFT value="116"/>
            </TRANSITIONLAYOUT>
            <TRANSITIONLAYOUT target="q8" drawvertical="true"/>
        </STATELAYOUT>
        <STATELAYOUT name="q8">
            <LEFT value="731"/>
            <TOP value="326"/>
            <TRANSITIONLAYOUT target="q5" drawvertical="true">
                <LEFT value="-18"/>
                <TOP value="176"/>
            </TRANSITIONLAYOUT>
        </STATELAYOUT>
        <STATELAYOUT name="q9">
            <LEFT value="515"/>
            <TOP value="100"/>
            <TRANSITIONLAYOUT target="q9" drawvertical="true">
                <TOP value="-120"/>
            </TRANSITIONLAYOUT>
            <TRANSITIONLAYOUT target="q8" drawvertical="true"/>
            <TRANSITIONLAYOUT target="q10" drawvertical="true"/>
        </STATELAYOUT>
        <STATELAYOUT name="q10">
            <LEFT value="515"/>
            <TOP value="216"/>
            <TRANSITIONLAYOUT target="q5" drawvertical="true"/>
            <TRANSITIONLAYOUT target="q11" drawvertical="true"/>
        </STATELAYOUT>
        <STATELAYOUT name="q11">
            <LEFT value="515"/>
            <TOP value="326"/>
            <TRANSITIONLAYOUT target="q5" drawvertical="true"/>
            <TRANSITIONLAYOUT target="q11" drawvertical="true">
                <LEFT value="116"/>
            </TRANSITIONLAYOUT>
        </STATELAYOUT>
        <STATELAYOUT name="q12">
            <LEFT value="274"/>
            <TOP value="100"/>
            <TRANSITIONLAYOUT target="q12" drawvertical="true">
                <TOP value="-120"/>
            </TRANSITIONLAYOUT>
            <TRANSITIONLAYOUT target="q4" drawvertical="true"/>
        </STATELAYOUT>
        <STATELAYOUT name="q13">
            <LEFT value="72"/>
            <TOP value="326"/>
        </STATELAYOUT>
        <NOTEPAD>
            {\rtf1\ansi\ansicpg1252\deff0\deflang1031{\fonttbl{\f0\fnil\fcharset0 Arial;}}
\viewkind4\uc1\pard\fs20 
\par }

        </NOTEPAD>
    </LAYOUT>
</AUTOMATON>
