<AUTOMATON>
    <TYPE value="DKA"/>
    <ALPHABET>
        <ITEM value="a"/>
        <ITEM value="b"/>
    </ALPHABET>
    <STACKALPHABET>
        <ITEM value="$"/>
        <ITEM value="A"/>
    </STACKALPHABET>
    <STATE name="q0" finalstate="false">
        <TRANSITION target="q0">
            <LABEL read="a" topofstack="A" write="AA"/>
            <LABEL read="a" topofstack="$" write="A$"/>
        </TRANSITION>
        <TRANSITION target="q1">
            <LABEL read="b" topofstack="A" write="EPSILON"/>
        </TRANSITION>
    </STATE>
    <STATE name="q1" finalstate="false">
        <TRANSITION target="q1">
            <LABEL read="b" topofstack="A" write="EPSILON"/>
        </TRANSITION>
        <TRANSITION target="q2">
            <LABEL read="EPSILON" topofstack="$" write="EPSILON"/>
        </TRANSITION>
    </STATE>
    <STATE name="q2" finalstate="true"/>
    <INITIALSTATE value="q0"/>
    <STACKINITIALCHAR value="$"/>
    <LAYOUT>
        <STATELAYOUT name="q0">
            <LEFT value="100"/>
            <TOP value="99"/>
            <TRANSITIONLAYOUT target="q0" drawvertical="true">
                <TOP value="-120"/>
            </TRANSITIONLAYOUT>
            <TRANSITIONLAYOUT target="q1" drawvertical="true"/>
        </STATELAYOUT>
        <STATELAYOUT name="q1">
            <LEFT value="264"/>
            <TOP value="99"/>
            <TRANSITIONLAYOUT target="q1" drawvertical="true">
                <TOP value="-120"/>
            </TRANSITIONLAYOUT>
            <TRANSITIONLAYOUT target="q2" drawvertical="true"/>
        </STATELAYOUT>
        <STATELAYOUT name="q2">
            <LEFT value="400"/>
            <TOP value="99"/>
        </STATELAYOUT>
    </LAYOUT>
</AUTOMATON>
