<?xml version="1.0" encoding="UTF-8"?>
<program xmlns="http://www.nomoseed.org/program" name="exploration_automaton">
<header xmlns="http://www.nomoseed.org/project">
    <author/>
    <copyright>
      <mention xml:lang="en"/>
    </copyright>
    <license name="">
      <mention xml:lang="en"/>
    </license>
    <datetime>2014-07-05T08:53:18Z</datetime>
    <version>0.0</version>
    <annotation>
      <documentation xml:lang="en">What is the context?</documentation>
    </annotation>
  </header>
<body>
<models>
<new instance="exploration_automaton">
<model xmlns="http://www.nomoseed.org/model" name="exploration_automaton">
<base>
<xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="../../../formalisms/automaton/automaton.mod" parse="xml"/>
</base>
<definition>
<conception_type name="state">
<items>
<item name="advance"/>
<item name="stop"/>
<item name="turn"/>
<item name="wait"/>
</items>
</conception_type>
<conception_type name="event">
<items>
<item name="last_line_ending"/>
<item name="line_beginning"/>
<item name="line_ending"/>
<item name="pause"/>
<item name="restart"/>
</items>
</conception_type>
</definition>
</model>
</new>
</models>
<scheme>
<rule name="initialize" relevance="0.0">
<conclusion category="conception" model="exploration_automaton" type="state">
<information value="wait" delay="0"/>
</conclusion>
</rule>
<rule name="advance">
<premise category="conception" model="exploration_automaton" type="state">
<information value="advance" tolerance="0"/>
<credibility value="1" tolerance="INF"/>
<timespan value="0" tolerance="0"/>
</premise>
<conclusion category="conception" model="exploration_automaton" type="state">
<information value="advance" delay="MAX"/>
</conclusion>
</rule>
<rule name="stop">
<premise category="conception" model="exploration_automaton" type="state">
<information value="stop" tolerance="0"/>
<credibility value="1" tolerance="INF"/>
<timespan value="0" tolerance="0"/>
</premise>
<conclusion category="conception" model="exploration_automaton" type="state">
<information value="stop" delay="MAX"/>
</conclusion>
</rule>
<rule name="turn">
<premise category="conception" model="exploration_automaton" type="state">
<information value="turn" tolerance="0"/>
<credibility value="1" tolerance="INF"/>
<timespan value="0" tolerance="0"/>
</premise>
<conclusion category="conception" model="exploration_automaton" type="state">
<information value="turn" delay="MAX"/>
</conclusion>
</rule>
<rule name="wait">
<premise category="conception" model="exploration_automaton" type="state">
<information value="wait" tolerance="0"/>
<credibility value="1" tolerance="INF"/>
<timespan value="0" tolerance="0"/>
</premise>
<conclusion category="conception" model="exploration_automaton" type="state">
<information value="wait" delay="MAX"/>
</conclusion>
</rule>
<scheme name="advance">
<rule name="advance_pause_wait_front">
<premise category="conception" model="exploration_automaton" type="state">
<information value="advance" tolerance="0"/>
<credibility value="1" tolerance="INF"/>
<timespan value="0" tolerance="0"/>
</premise>
<premise category="conception" model="exploration_automaton" type="event">
<information value="pause" tolerance="0"/>
<credibility value="1" tolerance="INF"/>
<timespan value="0" tolerance="0"/>
</premise>
<conclusion category="conception" model="exploration_automaton" type="state">
<information value="wait"/>
</conclusion>
</rule>
<rule name="advance_pause_wait">
<premise category="conception" model="exploration_automaton" type="state">
<information value="advance" tolerance="0"/>
<credibility value="1" tolerance="INF"/>
<timespan value="-1" tolerance="INF"/>
</premise>
<premise category="conception" model="exploration_automaton" type="event">
<information value="pause" tolerance="0"/>
<credibility value="1" tolerance="INF"/>
<timespan value="0" tolerance="0"/>
</premise>
<conclusion category="conception" model="exploration_automaton" type="state">
<information value="wait"/>
</conclusion>
</rule>
<rule name="advance_line_ending_turn_front">
<premise category="conception" model="exploration_automaton" type="state">
<information value="advance" tolerance="0"/>
<credibility value="1" tolerance="INF"/>
<timespan value="0" tolerance="0"/>
</premise>
<premise category="conception" model="exploration_automaton" type="event">
<information value="line_ending" tolerance="0"/>
<credibility value="1" tolerance="INF"/>
<timespan value="0" tolerance="0"/>
</premise>
<conclusion category="conception" model="exploration_automaton" type="state">
<information value="turn"/>
</conclusion>
</rule>
<rule name="advance_line_ending_turn">
<premise category="conception" model="exploration_automaton" type="state">
<information value="advance" tolerance="0"/>
<credibility value="1" tolerance="INF"/>
<timespan value="-1" tolerance="INF"/>
</premise>
<premise category="conception" model="exploration_automaton" type="event">
<information value="line_ending" tolerance="0"/>
<credibility value="1" tolerance="INF"/>
<timespan value="0" tolerance="0"/>
</premise>
<conclusion category="conception" model="exploration_automaton" type="state">
<information value="turn"/>
</conclusion>
</rule>
</scheme>
<scheme name="stop"/>
<scheme name="turn">
<rule name="turn_line_beginning_advance_front">
<premise category="conception" model="exploration_automaton" type="state">
<information value="turn" tolerance="0"/>
<credibility value="1" tolerance="INF"/>
<timespan value="0" tolerance="0"/>
</premise>
<premise category="conception" model="exploration_automaton" type="event">
<information value="line_beginning" tolerance="0"/>
<credibility value="1" tolerance="INF"/>
<timespan value="0" tolerance="0"/>
</premise>
<conclusion category="conception" model="exploration_automaton" type="state">
<information value="advance"/>
</conclusion>
</rule>
<rule name="turn_line_beginning_advance">
<premise category="conception" model="exploration_automaton" type="state">
<information value="turn" tolerance="0"/>
<credibility value="1" tolerance="INF"/>
<timespan value="-1" tolerance="INF"/>
</premise>
<premise category="conception" model="exploration_automaton" type="event">
<information value="line_beginning" tolerance="0"/>
<credibility value="1" tolerance="INF"/>
<timespan value="0" tolerance="0"/>
</premise>
<conclusion category="conception" model="exploration_automaton" type="state">
<information value="advance"/>
</conclusion>
</rule>
<rule name="turn_last_line_ending_stop_front">
<premise category="conception" model="exploration_automaton" type="state">
<information value="turn" tolerance="0"/>
<credibility value="1" tolerance="INF"/>
<timespan value="0" tolerance="0"/>
</premise>
<premise category="conception" model="exploration_automaton" type="event">
<information value="last_line_ending" tolerance="0"/>
<credibility value="1" tolerance="INF"/>
<timespan value="0" tolerance="0"/>
</premise>
<conclusion category="conception" model="exploration_automaton" type="state">
<information value="stop"/>
</conclusion>
</rule>
<rule name="turn_last_line_ending_stop">
<premise category="conception" model="exploration_automaton" type="state">
<information value="turn" tolerance="0"/>
<credibility value="1" tolerance="INF"/>
<timespan value="-1" tolerance="INF"/>
</premise>
<premise category="conception" model="exploration_automaton" type="event">
<information value="last_line_ending" tolerance="0"/>
<credibility value="1" tolerance="INF"/>
<timespan value="0" tolerance="0"/>
</premise>
<conclusion category="conception" model="exploration_automaton" type="state">
<information value="stop"/>
</conclusion>
</rule>
</scheme>
<scheme name="wait">
<rule name="wait_restart_advance_front">
<premise category="conception" model="exploration_automaton" type="state">
<information value="wait" tolerance="0"/>
<credibility value="1" tolerance="INF"/>
<timespan value="0" tolerance="0"/>
</premise>
<premise category="conception" model="exploration_automaton" type="event">
<information value="restart" tolerance="0"/>
<credibility value="1" tolerance="INF"/>
<timespan value="0" tolerance="0"/>
</premise>
<conclusion category="conception" model="exploration_automaton" type="state">
<information value="advance"/>
</conclusion>
</rule>
<rule name="wait_restart_advance">
<premise category="conception" model="exploration_automaton" type="state">
<information value="wait" tolerance="0"/>
<credibility value="1" tolerance="INF"/>
<timespan value="-1" tolerance="INF"/>
</premise>
<premise category="conception" model="exploration_automaton" type="event">
<information value="restart" tolerance="0"/>
<credibility value="1" tolerance="INF"/>
<timespan value="0" tolerance="0"/>
</premise>
<conclusion category="conception" model="exploration_automaton" type="state">
<information value="advance"/>
</conclusion>
</rule>
</scheme>
</scheme>
</body>
<sdk>
    <formalism xmlns="http://www.nomoseed.org/sdk" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:type="automaton">
      <automaton xmlns="http://www.nomoseed.org/automaton">
        <state name="wait">
          <transition event="restart" target="advance"/>
        </state>
        <state name="advance">
          <transition event="pause" target="wait"/>
          <transition event="line_ending" target="turn"/>
        </state>
        <state name="turn">
          <transition event="line_beginning" target="advance"/>
          <transition event="last_line_ending" target="stop"/>
        </state>
        <state name="stop"/>
      </automaton>
    </formalism>
  </sdk>
</program>
