Regular Omega Language Learning (ROLL)

User Tools

Site Tools

Trace:
play

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
play [2018/11/14 13:48] – liyongplay [2018/11/14 13:50] (current) – liyong
Line 65: Line 65:
  
 The above output automaton is clearly not the right conjecture. The above output automaton is clearly not the right conjecture.
-In this case, you can answer a counterexample, say (b, ab), which is accepted by the conjecture but is not in the target language, to the learner.+In this case, you can answer a counterexample, say b(ab)<sup>ω</sup> given by its decomposition (b, ab), which is accepted by the conjecture but is not in the target language, to the learner.
 <code> <code>
 0 0
Line 127: Line 127:
 {{:a2.png?200|}} {{:a2.png?200|}}
  
-Above automaton is the right conjecture accepting the language {a,b}<sup>*</sup>b<sup></sup>.+Above automaton is the right conjecture accepting the language {a,b}<sup>*</sup>b<sup>ω</sup>.
 Thus we can reply with a positive answer to the learner, which means that the learner has completed the learning task. Thus we can reply with a positive answer to the learner, which means that the learner has completed the learning task.
 <code> <code>
play.txt · Last modified: 2018/11/14 13:50 by liyong