play
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
play [2018/11/13 16:12] – liyong | play [2018/11/14 13:50] (current) – liyong | ||
---|---|---|---|
Line 64: | Line 64: | ||
{{: | {{: | ||
- | In this case, you can answer a counterexample, | + | The above output automaton is clearly not the right conjecture. |
+ | In this case, you can answer a counterexample, | ||
< | < | ||
0 | 0 | ||
Line 126: | Line 127: | ||
{{: | {{: | ||
- | Above automaton is the right conjecture accepting the language {a, | + | Above automaton is the right conjecture accepting the language {a, |
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. | ||
< | < | ||
Line 140: | Line 141: | ||
Moreover, the log also shows the counterexample analysis information as described in paper [6]. | Moreover, the log also shows the counterexample analysis information as described in paper [6]. | ||
- | The complete log information is given as follows. | + | The complete log information |
< | < | ||
PLAYING, | PLAYING, |
play.1542096765.txt.gz · Last modified: 2018/11/13 16:12 by liyong