<?xml version="1.0" encoding="UTF-8"?>

<XmlStateMachines version="KaraX 1.0 turingkara">
  <XmlStateMachine startState="z1" actor="TuringKara">
    <XmlState x="-2.0" y="-28.0" finalstate="false" name="z3">
      <XmlDescription/>
      <XmlSensors>
        <XmlSensor name="onOne"/>
        <XmlSensor name="onZero"/>
        <XmlSensor name="onTerm"/>
        <XmlSensor name="onEmpty"/>
        <XmlSensor name="onLeft"/>
        <XmlSensor name="onRight"/>
        <XmlSensor name="onUp"/>
        <XmlSensor name="onDown"/></XmlSensors></XmlState>
    <XmlState x="-54.0" y="60.0" finalstate="false" name="z2">
      <XmlDescription/>
      <XmlSensors>
        <XmlSensor name="onOne"/>
        <XmlSensor name="onZero"/>
        <XmlSensor name="onTerm"/>
        <XmlSensor name="onEmpty"/>
        <XmlSensor name="onLeft"/>
        <XmlSensor name="onRight"/>
        <XmlSensor name="onUp"/>
        <XmlSensor name="onDown"/></XmlSensors></XmlState>
    <XmlState x="214.0" y="-17.0" finalstate="false" name="z5">
      <XmlDescription/>
      <XmlSensors>
        <XmlSensor name="onOne"/>
        <XmlSensor name="onZero"/>
        <XmlSensor name="onTerm"/>
        <XmlSensor name="onEmpty"/>
        <XmlSensor name="onLeft"/>
        <XmlSensor name="onRight"/>
        <XmlSensor name="onUp"/>
        <XmlSensor name="onDown"/></XmlSensors></XmlState>
    <XmlState x="307.0" y="46.0" finalstate="false" name="z6">
      <XmlDescription/>
      <XmlSensors>
        <XmlSensor name="onOne"/>
        <XmlSensor name="onZero"/>
        <XmlSensor name="onTerm"/>
        <XmlSensor name="onEmpty"/>
        <XmlSensor name="onLeft"/>
        <XmlSensor name="onRight"/>
        <XmlSensor name="onUp"/>
        <XmlSensor name="onDown"/></XmlSensors></XmlState>
    <XmlState x="134.0" y="124.0" finalstate="true" name="Stop">
      <XmlDescription/>
      <XmlSensors/></XmlState>
    <XmlState x="112.0" y="-22.0" finalstate="false" name="z4">
      <XmlDescription/>
      <XmlSensors>
        <XmlSensor name="onOne"/>
        <XmlSensor name="onZero"/>
        <XmlSensor name="onTerm"/>
        <XmlSensor name="onEmpty"/>
        <XmlSensor name="onLeft"/>
        <XmlSensor name="onRight"/>
        <XmlSensor name="onUp"/>
        <XmlSensor name="onDown"/></XmlSensors></XmlState>
    <XmlState x="238.0" y="119.0" finalstate="false" name="z7">
      <XmlDescription/>
      <XmlSensors>
        <XmlSensor name="onOne"/>
        <XmlSensor name="onZero"/>
        <XmlSensor name="onTerm"/>
        <XmlSensor name="onEmpty"/>
        <XmlSensor name="onLeft"/>
        <XmlSensor name="onRight"/>
        <XmlSensor name="onUp"/>
        <XmlSensor name="onDown"/></XmlSensors></XmlState>
    <XmlState x="-4.0" y="147.0" finalstate="false" name="z1">
      <XmlDescription/>
      <XmlSensors>
        <XmlSensor name="onOne"/>
        <XmlSensor name="onZero"/>
        <XmlSensor name="onTerm"/>
        <XmlSensor name="onEmpty"/>
        <XmlSensor name="onLeft"/>
        <XmlSensor name="onRight"/>
        <XmlSensor name="onUp"/>
        <XmlSensor name="onDown"/></XmlSensors></XmlState>
    <XmlTransition from="z3" to="z6">
      <XmlSensorValues>
        <XmlSensorValue value="0" name="onOne"/>
        <XmlSensorValue value="1" name="onZero"/>
        <XmlSensorValue value="0" name="onTerm"/>
        <XmlSensorValue value="0" name="onEmpty"/>
        <XmlSensorValue value="0" name="onLeft"/>
        <XmlSensorValue value="0" name="onRight"/>
        <XmlSensorValue value="0" name="onUp"/>
        <XmlSensorValue value="0" name="onDown"/></XmlSensorValues>
      <XmlCommands>
        <XmlCommand name="putZero"/>
        <XmlCommand name="moveLeft"/></XmlCommands></XmlTransition>
    <XmlTransition from="z3" to="z4">
      <XmlSensorValues>
        <XmlSensorValue value="1" name="onOne"/>
        <XmlSensorValue value="0" name="onZero"/>
        <XmlSensorValue value="0" name="onTerm"/>
        <XmlSensorValue value="0" name="onEmpty"/>
        <XmlSensorValue value="0" name="onLeft"/>
        <XmlSensorValue value="0" name="onRight"/>
        <XmlSensorValue value="0" name="onUp"/>
        <XmlSensorValue value="0" name="onDown"/></XmlSensorValues>
      <XmlCommands>
        <XmlCommand name="putUp"/>
        <XmlCommand name="moveLeft"/></XmlCommands></XmlTransition>
    <XmlTransition from="z3" to="z3">
      <XmlSensorValues>
        <XmlSensorValue value="0" name="onOne"/>
        <XmlSensorValue value="0" name="onZero"/>
        <XmlSensorValue value="0" name="onTerm"/>
        <XmlSensorValue value="0" name="onEmpty"/>
        <XmlSensorValue value="0" name="onLeft"/>
        <XmlSensorValue value="0" name="onRight"/>
        <XmlSensorValue value="1" name="onUp"/>
        <XmlSensorValue value="0" name="onDown"/></XmlSensorValues>
      <XmlCommands>
        <XmlCommand name="putUp"/>
        <XmlCommand name="moveRight"/></XmlCommands></XmlTransition>
    <XmlTransition from="z3" to="z3">
      <XmlSensorValues>
        <XmlSensorValue value="0" name="onOne"/>
        <XmlSensorValue value="0" name="onZero"/>
        <XmlSensorValue value="0" name="onTerm"/>
        <XmlSensorValue value="0" name="onEmpty"/>
        <XmlSensorValue value="0" name="onLeft"/>
        <XmlSensorValue value="0" name="onRight"/>
        <XmlSensorValue value="0" name="onUp"/>
        <XmlSensorValue value="1" name="onDown"/></XmlSensorValues>
      <XmlCommands>
        <XmlCommand name="putDown"/>
        <XmlCommand name="moveRight"/></XmlCommands></XmlTransition>
    <XmlTransition from="z2" to="z3">
      <XmlSensorValues>
        <XmlSensorValue value="0" name="onOne"/>
        <XmlSensorValue value="1" name="onZero"/>
        <XmlSensorValue value="0" name="onTerm"/>
        <XmlSensorValue value="0" name="onEmpty"/>
        <XmlSensorValue value="0" name="onLeft"/>
        <XmlSensorValue value="0" name="onRight"/>
        <XmlSensorValue value="0" name="onUp"/>
        <XmlSensorValue value="0" name="onDown"/></XmlSensorValues>
      <XmlCommands>
        <XmlCommand name="putOne"/>
        <XmlCommand name="moveRight"/></XmlCommands></XmlTransition>
    <XmlTransition from="z2" to="z2">
      <XmlSensorValues>
        <XmlSensorValue value="1" name="onOne"/>
        <XmlSensorValue value="0" name="onZero"/>
        <XmlSensorValue value="0" name="onTerm"/>
        <XmlSensorValue value="0" name="onEmpty"/>
        <XmlSensorValue value="0" name="onLeft"/>
        <XmlSensorValue value="0" name="onRight"/>
        <XmlSensorValue value="0" name="onUp"/>
        <XmlSensorValue value="0" name="onDown"/></XmlSensorValues>
      <XmlCommands>
        <XmlCommand name="putOne"/>
        <XmlCommand name="moveRight"/></XmlCommands></XmlTransition>
    <XmlTransition from="z2" to="Stop">
      <XmlSensorValues>
        <XmlSensorValue value="0" name="onOne"/>
        <XmlSensorValue value="0" name="onZero"/>
        <XmlSensorValue value="0" name="onTerm"/>
        <XmlSensorValue value="0" name="onEmpty"/>
        <XmlSensorValue value="0" name="onLeft"/>
        <XmlSensorValue value="0" name="onRight"/>
        <XmlSensorValue value="1" name="onUp"/>
        <XmlSensorValue value="0" name="onDown"/></XmlSensorValues>
      <XmlCommands>
        <XmlCommand name="putUp"/></XmlCommands></XmlTransition>
    <XmlTransition from="z2" to="Stop">
      <XmlSensorValues>
        <XmlSensorValue value="0" name="onOne"/>
        <XmlSensorValue value="0" name="onZero"/>
        <XmlSensorValue value="0" name="onTerm"/>
        <XmlSensorValue value="0" name="onEmpty"/>
        <XmlSensorValue value="0" name="onLeft"/>
        <XmlSensorValue value="0" name="onRight"/>
        <XmlSensorValue value="0" name="onUp"/>
        <XmlSensorValue value="1" name="onDown"/></XmlSensorValues>
      <XmlCommands>
        <XmlCommand name="putDown"/></XmlCommands></XmlTransition>
    <XmlTransition from="z5" to="z3">
      <XmlSensorValues>
        <XmlSensorValue value="0" name="onOne"/>
        <XmlSensorValue value="1" name="onZero"/>
        <XmlSensorValue value="0" name="onTerm"/>
        <XmlSensorValue value="0" name="onEmpty"/>
        <XmlSensorValue value="0" name="onLeft"/>
        <XmlSensorValue value="0" name="onRight"/>
        <XmlSensorValue value="0" name="onUp"/>
        <XmlSensorValue value="0" name="onDown"/></XmlSensorValues>
      <XmlCommands>
        <XmlCommand name="putZero"/>
        <XmlCommand name="moveLeft"/></XmlCommands></XmlTransition>
    <XmlTransition from="z5" to="z3">
      <XmlSensorValues>
        <XmlSensorValue value="1" name="onOne"/>
        <XmlSensorValue value="0" name="onZero"/>
        <XmlSensorValue value="0" name="onTerm"/>
        <XmlSensorValue value="0" name="onEmpty"/>
        <XmlSensorValue value="0" name="onLeft"/>
        <XmlSensorValue value="0" name="onRight"/>
        <XmlSensorValue value="0" name="onUp"/>
        <XmlSensorValue value="0" name="onDown"/></XmlSensorValues>
      <XmlCommands>
        <XmlCommand name="putOne"/>
        <XmlCommand name="moveLeft"/></XmlCommands></XmlTransition>
    <XmlTransition from="z5" to="z5">
      <XmlSensorValues>
        <XmlSensorValue value="0" name="onOne"/>
        <XmlSensorValue value="0" name="onZero"/>
        <XmlSensorValue value="0" name="onTerm"/>
        <XmlSensorValue value="0" name="onEmpty"/>
        <XmlSensorValue value="0" name="onLeft"/>
        <XmlSensorValue value="0" name="onRight"/>
        <XmlSensorValue value="1" name="onUp"/>
        <XmlSensorValue value="0" name="onDown"/></XmlSensorValues>
      <XmlCommands>
        <XmlCommand name="putOne"/>
        <XmlCommand name="moveRight"/></XmlCommands></XmlTransition>
    <XmlTransition from="z5" to="z5">
      <XmlSensorValues>
        <XmlSensorValue value="0" name="onOne"/>
        <XmlSensorValue value="0" name="onZero"/>
        <XmlSensorValue value="0" name="onTerm"/>
        <XmlSensorValue value="0" name="onEmpty"/>
        <XmlSensorValue value="0" name="onLeft"/>
        <XmlSensorValue value="0" name="onRight"/>
        <XmlSensorValue value="0" name="onUp"/>
        <XmlSensorValue value="1" name="onDown"/></XmlSensorValues>
      <XmlCommands>
        <XmlCommand name="putZero"/>
        <XmlCommand name="moveRight"/></XmlCommands></XmlTransition>
    <XmlTransition from="z6" to="z7">
      <XmlSensorValues>
        <XmlSensorValue value="0" name="onOne"/>
        <XmlSensorValue value="1" name="onZero"/>
        <XmlSensorValue value="0" name="onTerm"/>
        <XmlSensorValue value="0" name="onEmpty"/>
        <XmlSensorValue value="0" name="onLeft"/>
        <XmlSensorValue value="0" name="onRight"/>
        <XmlSensorValue value="0" name="onUp"/>
        <XmlSensorValue value="0" name="onDown"/></XmlSensorValues>
      <XmlCommands>
        <XmlCommand name="putZero"/>
        <XmlCommand name="moveRight"/></XmlCommands></XmlTransition>
    <XmlTransition from="z6" to="z3">
      <XmlSensorValues>
        <XmlSensorValue value="1" name="onOne"/>
        <XmlSensorValue value="0" name="onZero"/>
        <XmlSensorValue value="0" name="onTerm"/>
        <XmlSensorValue value="0" name="onEmpty"/>
        <XmlSensorValue value="0" name="onLeft"/>
        <XmlSensorValue value="0" name="onRight"/>
        <XmlSensorValue value="0" name="onUp"/>
        <XmlSensorValue value="0" name="onDown"/></XmlSensorValues>
      <XmlCommands>
        <XmlCommand name="putOne"/>
        <XmlCommand name="moveRight"/></XmlCommands></XmlTransition>
    <XmlTransition from="z6" to="z6">
      <XmlSensorValues>
        <XmlSensorValue value="0" name="onOne"/>
        <XmlSensorValue value="0" name="onZero"/>
        <XmlSensorValue value="0" name="onTerm"/>
        <XmlSensorValue value="0" name="onEmpty"/>
        <XmlSensorValue value="0" name="onLeft"/>
        <XmlSensorValue value="0" name="onRight"/>
        <XmlSensorValue value="1" name="onUp"/>
        <XmlSensorValue value="0" name="onDown"/></XmlSensorValues>
      <XmlCommands>
        <XmlCommand name="putZero"/>
        <XmlCommand name="moveLeft"/></XmlCommands></XmlTransition>
    <XmlTransition from="z6" to="z6">
      <XmlSensorValues>
        <XmlSensorValue value="0" name="onOne"/>
        <XmlSensorValue value="0" name="onZero"/>
        <XmlSensorValue value="0" name="onTerm"/>
        <XmlSensorValue value="0" name="onEmpty"/>
        <XmlSensorValue value="0" name="onLeft"/>
        <XmlSensorValue value="0" name="onRight"/>
        <XmlSensorValue value="0" name="onUp"/>
        <XmlSensorValue value="1" name="onDown"/></XmlSensorValues>
      <XmlCommands>
        <XmlCommand name="putOne"/>
        <XmlCommand name="moveLeft"/></XmlCommands></XmlTransition>
    <XmlTransition from="z4" to="z5">
      <XmlSensorValues>
        <XmlSensorValue value="0" name="onOne"/>
        <XmlSensorValue value="1" name="onZero"/>
        <XmlSensorValue value="0" name="onTerm"/>
        <XmlSensorValue value="0" name="onEmpty"/>
        <XmlSensorValue value="0" name="onLeft"/>
        <XmlSensorValue value="0" name="onRight"/>
        <XmlSensorValue value="0" name="onUp"/>
        <XmlSensorValue value="0" name="onDown"/></XmlSensorValues>
      <XmlCommands>
        <XmlCommand name="putZero"/>
        <XmlCommand name="moveRight"/></XmlCommands></XmlTransition>
    <XmlTransition from="z4" to="z3">
      <XmlSensorValues>
        <XmlSensorValue value="1" name="onOne"/>
        <XmlSensorValue value="0" name="onZero"/>
        <XmlSensorValue value="0" name="onTerm"/>
        <XmlSensorValue value="0" name="onEmpty"/>
        <XmlSensorValue value="0" name="onLeft"/>
        <XmlSensorValue value="0" name="onRight"/>
        <XmlSensorValue value="0" name="onUp"/>
        <XmlSensorValue value="0" name="onDown"/></XmlSensorValues>
      <XmlCommands>
        <XmlCommand name="putDown"/>
        <XmlCommand name="moveRight"/></XmlCommands></XmlTransition>
    <XmlTransition from="z4" to="z4">
      <XmlSensorValues>
        <XmlSensorValue value="0" name="onOne"/>
        <XmlSensorValue value="0" name="onZero"/>
        <XmlSensorValue value="0" name="onTerm"/>
        <XmlSensorValue value="0" name="onEmpty"/>
        <XmlSensorValue value="0" name="onLeft"/>
        <XmlSensorValue value="0" name="onRight"/>
        <XmlSensorValue value="1" name="onUp"/>
        <XmlSensorValue value="0" name="onDown"/></XmlSensorValues>
      <XmlCommands>
        <XmlCommand name="putUp"/>
        <XmlCommand name="moveLeft"/></XmlCommands></XmlTransition>
    <XmlTransition from="z4" to="z4">
      <XmlSensorValues>
        <XmlSensorValue value="0" name="onOne"/>
        <XmlSensorValue value="0" name="onZero"/>
        <XmlSensorValue value="0" name="onTerm"/>
        <XmlSensorValue value="0" name="onEmpty"/>
        <XmlSensorValue value="0" name="onLeft"/>
        <XmlSensorValue value="0" name="onRight"/>
        <XmlSensorValue value="0" name="onUp"/>
        <XmlSensorValue value="1" name="onDown"/></XmlSensorValues>
      <XmlCommands>
        <XmlCommand name="putDown"/>
        <XmlCommand name="moveLeft"/></XmlCommands></XmlTransition>
    <XmlTransition from="z7" to="Stop">
      <XmlSensorValues>
        <XmlSensorValue value="0" name="onOne"/>
        <XmlSensorValue value="1" name="onZero"/>
        <XmlSensorValue value="0" name="onTerm"/>
        <XmlSensorValue value="0" name="onEmpty"/>
        <XmlSensorValue value="0" name="onLeft"/>
        <XmlSensorValue value="0" name="onRight"/>
        <XmlSensorValue value="0" name="onUp"/>
        <XmlSensorValue value="0" name="onDown"/></XmlSensorValues>
      <XmlCommands>
        <XmlCommand name="putZero"/></XmlCommands></XmlTransition>
    <XmlTransition from="z7" to="z7">
      <XmlSensorValues>
        <XmlSensorValue value="1" name="onOne"/>
        <XmlSensorValue value="0" name="onZero"/>
        <XmlSensorValue value="0" name="onTerm"/>
        <XmlSensorValue value="0" name="onEmpty"/>
        <XmlSensorValue value="0" name="onLeft"/>
        <XmlSensorValue value="0" name="onRight"/>
        <XmlSensorValue value="0" name="onUp"/>
        <XmlSensorValue value="0" name="onDown"/></XmlSensorValues>
      <XmlCommands>
        <XmlCommand name="putOne"/>
        <XmlCommand name="moveRight"/></XmlCommands></XmlTransition>
    <XmlTransition from="z7" to="Stop">
      <XmlSensorValues>
        <XmlSensorValue value="0" name="onOne"/>
        <XmlSensorValue value="0" name="onZero"/>
        <XmlSensorValue value="0" name="onTerm"/>
        <XmlSensorValue value="0" name="onEmpty"/>
        <XmlSensorValue value="0" name="onLeft"/>
        <XmlSensorValue value="0" name="onRight"/>
        <XmlSensorValue value="1" name="onUp"/>
        <XmlSensorValue value="0" name="onDown"/></XmlSensorValues>
      <XmlCommands>
        <XmlCommand name="putUp"/></XmlCommands></XmlTransition>
    <XmlTransition from="z7" to="Stop">
      <XmlSensorValues>
        <XmlSensorValue value="0" name="onOne"/>
        <XmlSensorValue value="0" name="onZero"/>
        <XmlSensorValue value="0" name="onTerm"/>
        <XmlSensorValue value="0" name="onEmpty"/>
        <XmlSensorValue value="0" name="onLeft"/>
        <XmlSensorValue value="0" name="onRight"/>
        <XmlSensorValue value="0" name="onUp"/>
        <XmlSensorValue value="1" name="onDown"/></XmlSensorValues>
      <XmlCommands>
        <XmlCommand name="putDown"/></XmlCommands></XmlTransition>
    <XmlTransition from="z1" to="z1">
      <XmlSensorValues>
        <XmlSensorValue value="0" name="onOne"/>
        <XmlSensorValue value="1" name="onZero"/>
        <XmlSensorValue value="0" name="onTerm"/>
        <XmlSensorValue value="0" name="onEmpty"/>
        <XmlSensorValue value="0" name="onLeft"/>
        <XmlSensorValue value="0" name="onRight"/>
        <XmlSensorValue value="0" name="onUp"/>
        <XmlSensorValue value="0" name="onDown"/></XmlSensorValues>
      <XmlCommands>
        <XmlCommand name="putZero"/>
        <XmlCommand name="moveRight"/></XmlCommands></XmlTransition>
    <XmlTransition from="z1" to="z2">
      <XmlSensorValues>
        <XmlSensorValue value="1" name="onOne"/>
        <XmlSensorValue value="0" name="onZero"/>
        <XmlSensorValue value="0" name="onTerm"/>
        <XmlSensorValue value="0" name="onEmpty"/>
        <XmlSensorValue value="0" name="onLeft"/>
        <XmlSensorValue value="0" name="onRight"/>
        <XmlSensorValue value="0" name="onUp"/>
        <XmlSensorValue value="0" name="onDown"/></XmlSensorValues>
      <XmlCommands>
        <XmlCommand name="putZero"/>
        <XmlCommand name="moveRight"/></XmlCommands></XmlTransition>
    <XmlTransition from="z1" to="Stop">
      <XmlSensorValues>
        <XmlSensorValue value="0" name="onOne"/>
        <XmlSensorValue value="0" name="onZero"/>
        <XmlSensorValue value="0" name="onTerm"/>
        <XmlSensorValue value="0" name="onEmpty"/>
        <XmlSensorValue value="0" name="onLeft"/>
        <XmlSensorValue value="0" name="onRight"/>
        <XmlSensorValue value="1" name="onUp"/>
        <XmlSensorValue value="0" name="onDown"/></XmlSensorValues>
      <XmlCommands>
        <XmlCommand name="putUp"/></XmlCommands></XmlTransition>
    <XmlTransition from="z1" to="Stop">
      <XmlSensorValues>
        <XmlSensorValue value="0" name="onOne"/>
        <XmlSensorValue value="0" name="onZero"/>
        <XmlSensorValue value="0" name="onTerm"/>
        <XmlSensorValue value="0" name="onEmpty"/>
        <XmlSensorValue value="0" name="onLeft"/>
        <XmlSensorValue value="0" name="onRight"/>
        <XmlSensorValue value="0" name="onUp"/>
        <XmlSensorValue value="1" name="onDown"/></XmlSensorValues>
      <XmlCommands>
        <XmlCommand name="putDown"/></XmlCommands></XmlTransition></XmlStateMachine>
  <XmlSensorDefinition identifier="onOne" name="onOne" description="one"/>
  <XmlSensorDefinition identifier="onZero" name="onZero" description="zero"/>
  <XmlSensorDefinition identifier="onTerm" name="onTerm" description="terminal symbol"/>
  <XmlSensorDefinition identifier="onEmpty" name="onEmpty" description="empty field"/>
  <XmlSensorDefinition identifier="onLeft" name="onLeft" description=""/>
  <XmlSensorDefinition identifier="onRight" name="onRight" description=""/>
  <XmlSensorDefinition identifier="onUp" name="onUp" description=""/>
  <XmlSensorDefinition identifier="onDown" name="onDown" description=""/></XmlStateMachines>
