<?xml version="1.0" encoding="utf-8"?>
<AUTOMATON>
    <TYPE value="MEALY"/>
    <ALPHABET>
        <ITEM value="1"/>
        <ITEM value="5"/>
        <ITEM value="Tk"/>
        <ITEM value="TK"/>
    </ALPHABET>
    <OUTPUTALPHABET>
        <ITEM value="K"/>
        <ITEM value="k"/>
        <ITEM value="nichts"/>
    </OUTPUTALPHABET>
    <STATE name="q_0" finalstate="false">
        <TRANSITION target="q_1">
            <LABEL read="1" output="nichts"/>
        </TRANSITION>
        <TRANSITION target="q_0">
            <LABEL read="TK" output="nichts"/>
            <LABEL read="Tk" output="nichts"/>
        </TRANSITION>
        <TRANSITION target="q_3">
            <LABEL read="5" output="nichts"/>
        </TRANSITION>
    </STATE>
    <STATE name="q_1" finalstate="false">
        <TRANSITION target="q_0">
            <LABEL read="Tk" output="k"/>
        </TRANSITION>
        <TRANSITION target="q_2">
            <LABEL read="1" output="nichts"/>
        </TRANSITION>
        <TRANSITION target="q_1">
            <LABEL read="TK" output="nichts"/>
        </TRANSITION>
        <TRANSITION target="q_4">
            <LABEL read="5" output="nichts"/>
        </TRANSITION>
    </STATE>
    <STATE name="q_2" finalstate="false">
        <TRANSITION target="q_0">
            <LABEL read="TK" output="K"/>
            <LABEL read="Tk" output="k"/>
        </TRANSITION>
        <TRANSITION target="q_2">
            <LABEL read="1" output="nichts"/>
            <LABEL read="5" output="nichts"/>
        </TRANSITION>
    </STATE>
    <STATE name="q_3" finalstate="false">
        <TRANSITION target="q_1">
            <LABEL read="5" output="nichts"/>
        </TRANSITION>
        <TRANSITION target="q_4">
            <LABEL read="1" output="nichts"/>
        </TRANSITION>
        <TRANSITION target="q_3">
            <LABEL read="TK" output="nichts"/>
            <LABEL read="Tk" output="nichts"/>
        </TRANSITION>
    </STATE>
    <STATE name="q_4" finalstate="false">
        <TRANSITION target="q_2">
            <LABEL read="1" output="nichts"/>
            <LABEL read="5" output="nichts"/>
        </TRANSITION>
        <TRANSITION target="q_4">
            <LABEL read="TK" output="nichts"/>
        </TRANSITION>
        <TRANSITION target="q_0">
            <LABEL read="Tk" output="k"/>
        </TRANSITION>
    </STATE>
    <INITIALSTATE value="q_0"/>
    <LAYOUT>
        <STATELAYOUT name="q_0">
            <LEFT value="81"/>
            <TOP value="130"/>
            <TRANSITIONLAYOUT target="q_1" drawvertical="true">
                <TOP value="-226"/>
            </TRANSITIONLAYOUT>
            <TRANSITIONLAYOUT target="q_0" drawvertical="true">
                <TOP value="-120"/>
            </TRANSITIONLAYOUT>
            <TRANSITIONLAYOUT target="q_3" drawvertical="true"/>
        </STATELAYOUT>
        <STATELAYOUT name="q_1">
            <LEFT value="328"/>
            <TOP value="130"/>
            <TRANSITIONLAYOUT target="q_0" drawvertical="true">
                <TOP value="105"/>
            </TRANSITIONLAYOUT>
            <TRANSITIONLAYOUT target="q_2" drawvertical="true">
                <TOP value="-217"/>
            </TRANSITIONLAYOUT>
            <TRANSITIONLAYOUT target="q_1" drawvertical="true">
                <TOP value="-120"/>
            </TRANSITIONLAYOUT>
            <TRANSITIONLAYOUT target="q_4" drawvertical="true"/>
        </STATELAYOUT>
        <STATELAYOUT name="q_2">
            <LEFT value="620"/>
            <TOP value="130"/>
            <TRANSITIONLAYOUT target="q_0" drawvertical="true">
                <LEFT value="-23"/>
                <TOP value="341"/>
            </TRANSITIONLAYOUT>
            <TRANSITIONLAYOUT target="q_2" drawvertical="true">
                <TOP value="-120"/>
            </TRANSITIONLAYOUT>
        </STATELAYOUT>
        <STATELAYOUT name="q_3">
            <LEFT value="208"/>
            <TOP value="130"/>
            <TRANSITIONLAYOUT target="q_1" drawvertical="true"/>
            <TRANSITIONLAYOUT target="q_4" drawvertical="true">
                <TOP value="111"/>
            </TRANSITIONLAYOUT>
            <TRANSITIONLAYOUT target="q_3" drawvertical="true">
                <TOP value="-120"/>
            </TRANSITIONLAYOUT>
        </STATELAYOUT>
        <STATELAYOUT name="q_4">
            <LEFT value="474"/>
            <TOP value="130"/>
            <TRANSITIONLAYOUT target="q_2" drawvertical="true"/>
            <TRANSITIONLAYOUT target="q_4" drawvertical="true">
                <TOP value="-120"/>
            </TRANSITIONLAYOUT>
            <TRANSITIONLAYOUT target="q_0" drawvertical="true">
                <TOP value="230"/>
            </TRANSITIONLAYOUT>
        </STATELAYOUT>
        <NOTEPAD>
            {\rtf1\ansi\deff0{\fonttbl{\f0\fnil\fcharset0 Arial;}}
\viewkind4\uc1\pard\lang1031\fs20 
\par }

        </NOTEPAD>
    </LAYOUT>
</AUTOMATON>
