<?xml version="1.0" encoding="utf-8"?>
<AUTOMATON>
    <TYPE value="MEALY"/>
    <ALPHABET>
        <ITEM value="1"/>
        <ITEM value="2"/>
        <ITEM value="A"/>
        <ITEM value="B"/>
        <ITEM value="OK"/>
    </ALPHABET>
    <OUTPUTALPHABET>
        <ITEM value="-"/>
        <ITEM value="A1"/>
        <ITEM value="A2"/>
        <ITEM value="B1"/>
        <ITEM value="B2"/>
    </OUTPUTALPHABET>
    <STATE name="q_0" finalstate="false">
        <TRANSITION target="q_0">
            <LABEL read="1" output="-"/>
            <LABEL read="A" output="-"/>
            <LABEL read="OK" output="A1"/>
        </TRANSITION>
        <TRANSITION target="q_1">
            <LABEL read="B" output="-"/>
        </TRANSITION>
        <TRANSITION target="q_2">
            <LABEL read="2" output="-"/>
        </TRANSITION>
    </STATE>
    <STATE name="q_1" finalstate="false">
        <TRANSITION target="q_0">
            <LABEL read="A" output="-"/>
            <LABEL read="OK" output="B1"/>
        </TRANSITION>
        <TRANSITION target="q_3">
            <LABEL read="2" output="-"/>
        </TRANSITION>
        <TRANSITION target="q_1">
            <LABEL read="1" output="-"/>
            <LABEL read="B" output="-"/>
        </TRANSITION>
    </STATE>
    <STATE name="q_2" finalstate="false">
        <TRANSITION target="q_0">
            <LABEL read="1" output="-"/>
            <LABEL read="OK" output="A2"/>
        </TRANSITION>
        <TRANSITION target="q_3">
            <LABEL read="B" output="-"/>
        </TRANSITION>
        <TRANSITION target="q_2">
            <LABEL read="2" output="-"/>
            <LABEL read="A" output="-"/>
        </TRANSITION>
    </STATE>
    <STATE name="q_3" finalstate="false">
        <TRANSITION target="q_0">
            <LABEL read="OK" output="B2"/>
        </TRANSITION>
        <TRANSITION target="q_3">
            <LABEL read="2" output="-"/>
            <LABEL read="B" output="-"/>
        </TRANSITION>
        <TRANSITION target="q_1">
            <LABEL read="1" output="-"/>
        </TRANSITION>
        <TRANSITION target="q_2">
            <LABEL read="A" output="-"/>
        </TRANSITION>
    </STATE>
    <INITIALSTATE value="q_0"/>
    <LAYOUT>
        <STATELAYOUT name="q_0">
            <LEFT value="169"/>
            <TOP value="282"/>
            <TRANSITIONLAYOUT target="q_0" drawvertical="true">
                <TOP value="-185"/>
            </TRANSITIONLAYOUT>
            <TRANSITIONLAYOUT target="q_1" drawvertical="true">
                <LEFT value="-30"/>
                <TOP value="-40"/>
            </TRANSITIONLAYOUT>
            <TRANSITIONLAYOUT target="q_2" drawvertical="true">
                <LEFT value="30"/>
                <TOP value="-40"/>
            </TRANSITIONLAYOUT>
        </STATELAYOUT>
        <STATELAYOUT name="q_1">
            <LEFT value="342"/>
            <TOP value="113"/>
            <TRANSITIONLAYOUT target="q_0" drawvertical="true">
                <LEFT value="28"/>
                <TOP value="41"/>
            </TRANSITIONLAYOUT>
            <TRANSITIONLAYOUT target="q_3" drawvertical="true">
                <LEFT value="36"/>
                <TOP value="-34"/>
            </TRANSITIONLAYOUT>
            <TRANSITIONLAYOUT target="q_1" drawvertical="true">
                <TOP value="-120"/>
            </TRANSITIONLAYOUT>
        </STATELAYOUT>
        <STATELAYOUT name="q_2">
            <LEFT value="342"/>
            <TOP value="440"/>
            <TRANSITIONLAYOUT target="q_0" drawvertical="true">
                <LEFT value="-32"/>
                <TOP value="38"/>
            </TRANSITIONLAYOUT>
            <TRANSITIONLAYOUT target="q_3" drawvertical="true">
                <LEFT value="-34"/>
                <TOP value="-37"/>
            </TRANSITIONLAYOUT>
            <TRANSITIONLAYOUT target="q_2" drawvertical="true">
                <LEFT value="11"/>
                <TOP value="177"/>
            </TRANSITIONLAYOUT>
        </STATELAYOUT>
        <STATELAYOUT name="q_3">
            <LEFT value="509"/>
            <TOP value="282"/>
            <TRANSITIONLAYOUT target="q_0" drawvertical="true"/>
            <TRANSITIONLAYOUT target="q_3" drawvertical="true">
                <LEFT value="134"/>
            </TRANSITIONLAYOUT>
            <TRANSITIONLAYOUT target="q_1" drawvertical="true">
                <LEFT value="-35"/>
                <TOP value="36"/>
            </TRANSITIONLAYOUT>
            <TRANSITIONLAYOUT target="q_2" drawvertical="true">
                <LEFT value="35"/>
                <TOP value="36"/>
            </TRANSITIONLAYOUT>
        </STATELAYOUT>
        <NOTEPAD>
            {\rtf1\ansi\ansicpg1252\deff0{\fonttbl{\f0\fnil\fcharset0 Arial;}}
\viewkind4\uc1\pard\lang1031\fs20 
\par }

        </NOTEPAD>
        <COMMENTS>
            <COMMENT text="A1" x="161" y="310" size="10" color="$000000"/>
            <COMMENT text="B1" x="373" y="114" size="10" color="$000000"/>
            <COMMENT text="A2" x="323" y="459" size="10" color="$000000"/>
            <COMMENT text="B2" x="522" y="262" size="10" color="$000000"/>
        </COMMENTS>
    </LAYOUT>
</AUTOMATON>
