<?xml version="1.0" encoding="utf-8"?>
<AUTOMATON>
    <TYPE value="NKA"/>
    <ALPHABET>
        <ITEM value="0"/>
        <ITEM value="1"/>
    </ALPHABET>
    <STACKALPHABET>
        <ITEM value="#"/>
        <ITEM value="0"/>
    </STACKALPHABET>
    <STATE name="q0" finalstate="false">
        <TRANSITION target="q0">
            <LABEL read="0" topofstack="#" write="0#"/>
            <LABEL read="0" topofstack="0" write="00"/>
        </TRANSITION>
        <TRANSITION target="q1">
            <LABEL read="1" topofstack="0" write="EPSILON"/>
        </TRANSITION>
        <TRANSITION target="q2">
            <LABEL read="EPSILON" topofstack="0" write="0"/>
        </TRANSITION>
    </STATE>
    <STATE name="q1" finalstate="false">
        <TRANSITION target="q1">
            <LABEL read="1" topofstack="0" write="EPSILON"/>
        </TRANSITION>
        <TRANSITION target="q2">
            <LABEL read="EPSILON" topofstack="0" write="0"/>
        </TRANSITION>
    </STATE>
    <STATE name="q2" finalstate="true"/>
    <INITIALSTATE value="q0"/>
    <STACKINITIALCHAR value="#"/>
    <LAYOUT>
        <STATELAYOUT name="q0">
            <LEFT value="138"/>
            <TOP value="165"/>
            <TRANSITIONLAYOUT target="q0" drawvertical="true">
                <TOP value="-120"/>
            </TRANSITIONLAYOUT>
            <TRANSITIONLAYOUT target="q1" drawvertical="true"/>
            <TRANSITIONLAYOUT target="q2" drawvertical="true">
                <TOP value="107"/>
            </TRANSITIONLAYOUT>
        </STATELAYOUT>
        <STATELAYOUT name="q1">
            <LEFT value="276"/>
            <TOP value="165"/>
            <TRANSITIONLAYOUT target="q1" drawvertical="true">
                <TOP value="-120"/>
            </TRANSITIONLAYOUT>
            <TRANSITIONLAYOUT target="q2" drawvertical="true"/>
        </STATELAYOUT>
        <STATELAYOUT name="q2">
            <LEFT value="410"/>
            <TOP value="165"/>
        </STATELAYOUT>
        <NOTEPAD>
            {\rtf1\ansi\ansicpg1252\deff0\deflang1031{\fonttbl{\f0\fnil\fcharset0 Arial;}}
\viewkind4\uc1\pard\fs20 Kellerautomat erkennt das Wort 0^n1^m mit n, m &gt;=0 und n&gt; m
\par }

        </NOTEPAD>
    </LAYOUT>
</AUTOMATON>
