User Tools

Site Tools


play

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
play [2018/11/14 13:49]
liyong
play [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
play.txt · Last modified: 2018/11/14 13:50 by liyong