<?xml version="1.0" encoding="UTF-8"?>

<XmlStateMachines version="KaraX 1.0 turingkara">
  <XmlStateMachine startState="Z1" actor="TuringKara">
    <XmlState x="427.0" y="132.0" finalstate="true" name="Stop">
      <XmlDescription/>
      <XmlSensors/></XmlState>
    <XmlState x="242.0" y="74.0" finalstate="false" name="Z2">
      <XmlDescription/>
      <XmlSensors>
        <XmlSensor name="onOne"/>
        <XmlSensor name="onZero"/>
        <XmlSensor name="onTerm"/>
        <XmlSensor name="onEmpty"/></XmlSensors></XmlState>
    <XmlState x="297.0" y="177.0" finalstate="false" name="Z3">
      <XmlDescription/>
      <XmlSensors>
        <XmlSensor name="onOne"/>
        <XmlSensor name="onZero"/>
        <XmlSensor name="onTerm"/>
        <XmlSensor name="onEmpty"/></XmlSensors></XmlState>
    <XmlState x="94.0" y="99.0" finalstate="false" name="Z1">
      <XmlDescription/>
      <XmlSensors>
        <XmlSensor name="onOne"/>
        <XmlSensor name="onZero"/>
        <XmlSensor name="onTerm"/>
        <XmlSensor name="onEmpty"/></XmlSensors></XmlState>
    <XmlTransition from="Z2" to="Z1">
      <XmlSensorValues>
        <XmlSensorValue value="0" name="onOne"/>
        <XmlSensorValue value="1" name="onZero"/>
        <XmlSensorValue value="0" name="onTerm"/>
        <XmlSensorValue value="0" name="onEmpty"/></XmlSensorValues>
      <XmlCommands>
        <XmlCommand name="putOne"/>
        <XmlCommand name="moveLeft"/></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"/></XmlSensorValues>
      <XmlCommands>
        <XmlCommand name="putOne"/>
        <XmlCommand name="moveRight"/></XmlCommands></XmlTransition>
    <XmlTransition from="Z3" to="Z2">
      <XmlSensorValues>
        <XmlSensorValue value="0" name="onOne"/>
        <XmlSensorValue value="1" name="onZero"/>
        <XmlSensorValue value="0" name="onTerm"/>
        <XmlSensorValue value="0" name="onEmpty"/></XmlSensorValues>
      <XmlCommands>
        <XmlCommand name="putOne"/>
        <XmlCommand name="moveLeft"/></XmlCommands></XmlTransition>
    <XmlTransition from="Z3" to="Stop">
      <XmlSensorValues>
        <XmlSensorValue value="1" name="onOne"/>
        <XmlSensorValue value="0" name="onZero"/>
        <XmlSensorValue value="0" name="onTerm"/>
        <XmlSensorValue value="0" name="onEmpty"/></XmlSensorValues>
      <XmlCommands>
        <XmlCommand name="putOne"/></XmlCommands></XmlTransition>
    <XmlTransition from="Z1" to="Z2">
      <XmlSensorValues>
        <XmlSensorValue value="0" name="onOne"/>
        <XmlSensorValue value="1" name="onZero"/>
        <XmlSensorValue value="0" name="onTerm"/>
        <XmlSensorValue value="0" name="onEmpty"/></XmlSensorValues>
      <XmlCommands>
        <XmlCommand name="putOne"/>
        <XmlCommand name="moveRight"/></XmlCommands></XmlTransition>
    <XmlTransition from="Z1" to="Z3">
      <XmlSensorValues>
        <XmlSensorValue value="1" name="onOne"/>
        <XmlSensorValue value="0" name="onZero"/>
        <XmlSensorValue value="0" name="onTerm"/>
        <XmlSensorValue value="0" name="onEmpty"/></XmlSensorValues>
      <XmlCommands>
        <XmlCommand name="putOne"/>
        <XmlCommand name="moveLeft"/></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"/></XmlStateMachines>
