<?xml version="1.0" encoding="utf-8"?>
<AUTOMATON>
    <TYPE value="NKA"/>
    <ALPHABET>
        <ITEM value="a"/>
        <ITEM value="b"/>
        <ITEM value="c"/>
    </ALPHABET>
    <STACKALPHABET>
        <ITEM value="#"/>
        <ITEM value="a"/>
    </STACKALPHABET>
    <STATE name="q_0" finalstate="false">
        <TRANSITION target="q_0">
            <LABEL read="a" topofstack="#" write="a#"/>
            <LABEL read="a" topofstack="a" write="aa"/>
        </TRANSITION>
        <TRANSITION target="q_1">
            <LABEL read="b" topofstack="a" write="a"/>
        </TRANSITION>
    </STATE>
    <STATE name="q_1" finalstate="false">
        <TRANSITION target="q_2">
            <LABEL read="c" topofstack="a" write="EPSILON"/>
        </TRANSITION>
    </STATE>
    <STATE name="q_2" finalstate="false">
        <TRANSITION target="q_3">
            <LABEL read="c" topofstack="#" write="#"/>
        </TRANSITION>
        <TRANSITION target="q_2">
            <LABEL read="c" topofstack="a" write="EPSILON"/>
        </TRANSITION>
    </STATE>
    <STATE name="q_3" finalstate="false">
        <TRANSITION target="q_3">
            <LABEL read="c" topofstack="#" write="#"/>
        </TRANSITION>
        <TRANSITION target="q_4">
            <LABEL read="EPSILON" topofstack="#" write="#"/>
        </TRANSITION>
    </STATE>
    <STATE name="q_4" finalstate="true"/>
    <INITIALSTATE value="q_0"/>
    <STACKINITIALCHAR value="#"/>
    <LAYOUT>
        <STATELAYOUT name="q_0">
            <LEFT value="100"/>
            <TOP value="113"/>
            <TRANSITIONLAYOUT target="q_0" drawvertical="true">
                <TOP value="-120"/>
            </TRANSITIONLAYOUT>
            <TRANSITIONLAYOUT target="q_1" drawvertical="true"/>
        </STATELAYOUT>
        <STATELAYOUT name="q_1">
            <LEFT value="239"/>
            <TOP value="113"/>
            <TRANSITIONLAYOUT target="q_2" drawvertical="true"/>
        </STATELAYOUT>
        <STATELAYOUT name="q_2">
            <LEFT value="363"/>
            <TOP value="113"/>
            <TRANSITIONLAYOUT target="q_3" drawvertical="true"/>
            <TRANSITIONLAYOUT target="q_2" drawvertical="true">
                <TOP value="-120"/>
            </TRANSITIONLAYOUT>
        </STATELAYOUT>
        <STATELAYOUT name="q_3">
            <LEFT value="492"/>
            <TOP value="113"/>
            <TRANSITIONLAYOUT target="q_3" drawvertical="true">
                <TOP value="-120"/>
            </TRANSITIONLAYOUT>
            <TRANSITIONLAYOUT target="q_4" drawvertical="true"/>
        </STATELAYOUT>
        <STATELAYOUT name="q_4">
            <LEFT value="620"/>
            <TOP value="113"/>
        </STATELAYOUT>
        <NOTEPAD>
            {\rtf1\ansi\ansicpg1252\deff0\deflang1031{\fonttbl{\f0\fnil\fcharset0 Arial;}}
\viewkind4\uc1\pard\fs20 
\par }

        </NOTEPAD>
        <COMMENTS>
            <COMMENT text="a^nbc^m n&lt;m und n&gt;0" x="268" y="29" size="10" color="$000000"/>
        </COMMENTS>
    </LAYOUT>
</AUTOMATON>
