<?xml version="1.0" encoding="utf-8"?>
<AUTOMATON>
    <TYPE value="TM"/>
    <ALPHABET>
        <ITEM value="Mutter"/>
        <ITEM value="Schraube"/>
        <ITEM value="Unterlegscheibe"/>
    </ALPHABET>
    <TAPEALPHABET>
        <ITEM value="$"/>
        <ITEM value="Mutter"/>
        <ITEM value="Schraube"/>
        <ITEM value="Unterlegscheibe"/>
        <ITEM value="X"/>
    </TAPEALPHABET>
    <STATE name="q_0" finalstate="false">
        <TRANSITION target="q_1">
            <LABEL read="Schraube" direction="RIGHT" write="$"/>
        </TRANSITION>
        <TRANSITION target="q_4">
            <LABEL read="Unterlegscheibe" direction="RIGHT" write="$"/>
        </TRANSITION>
    </STATE>
    <STATE name="q_1" finalstate="false">
        <TRANSITION target="q_1">
            <LABEL read="Schraube" direction="RIGHT" write="Schraube"/>
            <LABEL read="Unterlegscheibe" direction="RIGHT" write="Unterlegscheibe"/>
            <LABEL read="Mutter" direction="RIGHT" write="Mutter"/>
        </TRANSITION>
        <TRANSITION target="q_2">
            <LABEL read="$" direction="LEFT" write="$"/>
            <LABEL read="X" direction="LEFT" write="X"/>
        </TRANSITION>
    </STATE>
    <STATE name="q_2" finalstate="false">
        <TRANSITION target="q_3">
            <LABEL read="Mutter" direction="LEFT" write="X"/>
        </TRANSITION>
    </STATE>
    <STATE name="q_3" finalstate="false">
        <TRANSITION target="q_3">
            <LABEL read="Schraube" direction="LEFT" write="Schraube"/>
            <LABEL read="Unterlegscheibe" direction="LEFT" write="Unterlegscheibe"/>
            <LABEL read="Mutter" direction="LEFT" write="Mutter"/>
        </TRANSITION>
        <TRANSITION target="q_0">
            <LABEL read="$" direction="RIGHT" write="$"/>
        </TRANSITION>
    </STATE>
    <STATE name="q_4" finalstate="false">
        <TRANSITION target="q_4">
            <LABEL read="Unterlegscheibe" direction="RIGHT" write="Unterlegscheibe"/>
            <LABEL read="X" direction="RIGHT" write="X"/>
        </TRANSITION>
        <TRANSITION target="q_5">
            <LABEL read="$" direction="LEFT" write="$"/>
        </TRANSITION>
    </STATE>
    <STATE name="q_5" finalstate="false">
        <TRANSITION target="q_6">
            <LABEL read="X" direction="LEFT" write="$"/>
        </TRANSITION>
    </STATE>
    <STATE name="q_6" finalstate="false">
        <TRANSITION target="q_6">
            <LABEL read="Unterlegscheibe" direction="LEFT" write="Unterlegscheibe"/>
            <LABEL read="X" direction="LEFT" write="X"/>
        </TRANSITION>
        <TRANSITION target="q_7">
            <LABEL read="$" direction="RIGHT" write="$"/>
        </TRANSITION>
    </STATE>
    <STATE name="q_7" finalstate="false">
        <TRANSITION target="q_4">
            <LABEL read="Unterlegscheibe" direction="RIGHT" write="$"/>
        </TRANSITION>
        <TRANSITION target="q_8">
            <LABEL read="$" direction="NONE" write="$"/>
        </TRANSITION>
    </STATE>
    <STATE name="q_8" finalstate="true"/>
    <INITIALSTATE value="q_0"/>
    <TAPEINITIALCHAR value="$"/>
    <LAYOUT>
        <STATELAYOUT name="q_0">
            <LEFT value="272"/>
            <TOP value="185"/>
            <TRANSITIONLAYOUT target="q_1" drawvertical="true"/>
            <TRANSITIONLAYOUT target="q_4" drawvertical="true">
                <TOP value="-27"/>
            </TRANSITIONLAYOUT>
        </STATELAYOUT>
        <STATELAYOUT name="q_1">
            <LEFT value="272"/>
            <TOP value="92"/>
            <TRANSITIONLAYOUT target="q_1" drawvertical="true">
                <TOP value="-153"/>
            </TRANSITIONLAYOUT>
            <TRANSITIONLAYOUT target="q_2" drawvertical="true"/>
        </STATELAYOUT>
        <STATELAYOUT name="q_2">
            <LEFT value="449"/>
            <TOP value="92"/>
            <TRANSITIONLAYOUT target="q_3" drawvertical="true"/>
        </STATELAYOUT>
        <STATELAYOUT name="q_3">
            <LEFT value="449"/>
            <TOP value="185"/>
            <TRANSITIONLAYOUT target="q_3" drawvertical="true">
                <TOP value="140"/>
            </TRANSITIONLAYOUT>
            <TRANSITIONLAYOUT target="q_0" drawvertical="true"/>
        </STATELAYOUT>
        <STATELAYOUT name="q_4">
            <LEFT value="272"/>
            <TOP value="322"/>
            <TRANSITIONLAYOUT target="q_4" drawvertical="true">
                <LEFT value="-362"/>
                <TOP value="22"/>
            </TRANSITIONLAYOUT>
            <TRANSITIONLAYOUT target="q_5" drawvertical="true"/>
        </STATELAYOUT>
        <STATELAYOUT name="q_5">
            <LEFT value="449"/>
            <TOP value="322"/>
            <TRANSITIONLAYOUT target="q_6" drawvertical="true"/>
        </STATELAYOUT>
        <STATELAYOUT name="q_6">
            <LEFT value="449"/>
            <TOP value="420"/>
            <TRANSITIONLAYOUT target="q_6" drawvertical="true">
                <TOP value="113"/>
            </TRANSITIONLAYOUT>
            <TRANSITIONLAYOUT target="q_7" drawvertical="true"/>
        </STATELAYOUT>
        <STATELAYOUT name="q_7">
            <LEFT value="272"/>
            <TOP value="420"/>
            <TRANSITIONLAYOUT target="q_4" drawvertical="true"/>
            <TRANSITIONLAYOUT target="q_8" drawvertical="true"/>
        </STATELAYOUT>
        <STATELAYOUT name="q_8">
            <LEFT value="147"/>
            <TOP value="420"/>
        </STATELAYOUT>
        <NOTEPAD>
            {\rtf1\ansi\ansicpg1252\deff0{\fonttbl{\f0\fnil\fcharset0 Arial;}}
\viewkind4\uc1\pard\lang1031\fs20 
\par }

        </NOTEPAD>
    </LAYOUT>
</AUTOMATON>
