Differences

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

--- 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.
-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>