<AUTOMATON>
    <TYPE value="DEA"/>
    <ALPHABET>
        <ITEM value="a"/>
        <ITEM value="b"/>
        <ITEM value="c"/>
    </ALPHABET>
    <STATE name="q0" finalstate="false">
        <TRANSITION target="q1">
            <LABEL read="a"/>
        </TRANSITION>
        <TRANSITION target="q3">
            <LABEL read="c"/>
        </TRANSITION>
        <TRANSITION target="q2">
            <LABEL read="b"/>
        </TRANSITION>
    </STATE>
    <STATE name="q1" finalstate="false">
        <TRANSITION target="q4">
            <LABEL read="b"/>
        </TRANSITION>
        <TRANSITION target="q5">
            <LABEL read="c"/>
        </TRANSITION>
        <TRANSITION target="q1">
            <LABEL read="a"/>
        </TRANSITION>
    </STATE>
    <STATE name="q2" finalstate="false">
        <TRANSITION target="q2">
            <LABEL read="b"/>
        </TRANSITION>
        <TRANSITION target="q7">
            <LABEL read="c"/>
        </TRANSITION>
        <TRANSITION target="q6">
            <LABEL read="a"/>
        </TRANSITION>
    </STATE>
    <STATE name="q3" finalstate="false">
        <TRANSITION target="q8">
            <LABEL read="a"/>
        </TRANSITION>
        <TRANSITION target="q9">
            <LABEL read="b"/>
        </TRANSITION>
        <TRANSITION target="q3">
            <LABEL read="c"/>
        </TRANSITION>
    </STATE>
    <STATE name="q4" finalstate="false">
        <TRANSITION target="q4">
            <LABEL read="a"/>
            <LABEL read="b"/>
        </TRANSITION>
        <TRANSITION target="q10">
            <LABEL read="c"/>
        </TRANSITION>
    </STATE>
    <STATE name="q5" finalstate="false">
        <TRANSITION target="q5">
            <LABEL read="a"/>
            <LABEL read="c"/>
        </TRANSITION>
        <TRANSITION target="q10">
            <LABEL read="b"/>
        </TRANSITION>
    </STATE>
    <STATE name="q6" finalstate="false">
        <TRANSITION target="q6">
            <LABEL read="a"/>
            <LABEL read="b"/>
        </TRANSITION>
        <TRANSITION target="q10">
            <LABEL read="c"/>
        </TRANSITION>
    </STATE>
    <STATE name="q7" finalstate="false">
        <TRANSITION target="q7">
            <LABEL read="b"/>
            <LABEL read="c"/>
        </TRANSITION>
        <TRANSITION target="q10">
            <LABEL read="a"/>
        </TRANSITION>
    </STATE>
    <STATE name="q8" finalstate="false">
        <TRANSITION target="q8">
            <LABEL read="a"/>
            <LABEL read="c"/>
        </TRANSITION>
        <TRANSITION target="q10">
            <LABEL read="b"/>
        </TRANSITION>
    </STATE>
    <STATE name="q9" finalstate="false">
        <TRANSITION target="q9">
            <LABEL read="b"/>
            <LABEL read="c"/>
        </TRANSITION>
        <TRANSITION target="q10">
            <LABEL read="a"/>
        </TRANSITION>
    </STATE>
    <STATE name="q10" finalstate="true">
        <TRANSITION target="q10">
            <LABEL read="a"/>
            <LABEL read="b"/>
            <LABEL read="c"/>
        </TRANSITION>
    </STATE>
    <INITIALSTATE value="q0"/>
    <LAYOUT>
        <STATELAYOUT name="q0">
            <LEFT value="70"/>
            <TOP value="271"/>
            <TRANSITIONLAYOUT target="q1" drawvertical="false"/>
            <TRANSITIONLAYOUT target="q3" drawvertical="false"/>
            <TRANSITIONLAYOUT target="q2" drawvertical="false"/>
        </STATELAYOUT>
        <STATELAYOUT name="q1">
            <LEFT value="138"/>
            <TOP value="105"/>
            <TRANSITIONLAYOUT target="q4" drawvertical="false"/>
            <TRANSITIONLAYOUT target="q5" drawvertical="false"/>
            <TRANSITIONLAYOUT target="q1" drawvertical="false">
                <TOP value="-120"/>
            </TRANSITIONLAYOUT>
        </STATELAYOUT>
        <STATELAYOUT name="q2">
            <LEFT value="138"/>
            <TOP value="271"/>
            <TRANSITIONLAYOUT target="q2" drawvertical="false">
                <TOP value="-120"/>
            </TRANSITIONLAYOUT>
            <TRANSITIONLAYOUT target="q7" drawvertical="false"/>
            <TRANSITIONLAYOUT target="q6" drawvertical="false"/>
        </STATELAYOUT>
        <STATELAYOUT name="q3">
            <LEFT value="138"/>
            <TOP value="404"/>
            <TRANSITIONLAYOUT target="q8" drawvertical="false"/>
            <TRANSITIONLAYOUT target="q9" drawvertical="false"/>
            <TRANSITIONLAYOUT target="q3" drawvertical="false">
                <TOP value="108"/>
            </TRANSITIONLAYOUT>
        </STATELAYOUT>
        <STATELAYOUT name="q4">
            <LEFT value="270"/>
            <TOP value="57"/>
            <TRANSITIONLAYOUT target="q4" drawvertical="false">
                <TOP value="-120"/>
            </TRANSITIONLAYOUT>
            <TRANSITIONLAYOUT target="q10" drawvertical="false"/>
        </STATELAYOUT>
        <STATELAYOUT name="q5">
            <LEFT value="270"/>
            <TOP value="146"/>
            <TRANSITIONLAYOUT target="q5" drawvertical="false">
                <TOP value="-120"/>
            </TRANSITIONLAYOUT>
            <TRANSITIONLAYOUT target="q10" drawvertical="false"/>
        </STATELAYOUT>
        <STATELAYOUT name="q6">
            <LEFT value="270"/>
            <TOP value="231"/>
            <TRANSITIONLAYOUT target="q6" drawvertical="false">
                <TOP value="-120"/>
            </TRANSITIONLAYOUT>
            <TRANSITIONLAYOUT target="q10" drawvertical="false"/>
        </STATELAYOUT>
        <STATELAYOUT name="q7">
            <LEFT value="270"/>
            <TOP value="313"/>
            <TRANSITIONLAYOUT target="q7" drawvertical="false">
                <TOP value="-120"/>
            </TRANSITIONLAYOUT>
            <TRANSITIONLAYOUT target="q10" drawvertical="false"/>
        </STATELAYOUT>
        <STATELAYOUT name="q8">
            <LEFT value="270"/>
            <TOP value="391"/>
            <TRANSITIONLAYOUT target="q8" drawvertical="false">
                <TOP value="-120"/>
            </TRANSITIONLAYOUT>
            <TRANSITIONLAYOUT target="q10" drawvertical="false"/>
        </STATELAYOUT>
        <STATELAYOUT name="q9">
            <LEFT value="270"/>
            <TOP value="473"/>
            <TRANSITIONLAYOUT target="q9" drawvertical="false">
                <TOP value="-120"/>
            </TRANSITIONLAYOUT>
            <TRANSITIONLAYOUT target="q10" drawvertical="false"/>
        </STATELAYOUT>
        <STATELAYOUT name="q10">
            <LEFT value="466"/>
            <TOP value="271"/>
            <TRANSITIONLAYOUT target="q10" drawvertical="false">
                <TOP value="-120"/>
            </TRANSITIONLAYOUT>
        </STATELAYOUT>
    </LAYOUT>
</AUTOMATON>
