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 15:59] – 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 133: | Line 134: | ||
</ | </ | ||
- | Following command allows the user to see more details about the storage of the membership queries when using the table-based L< | + | Following command allows the user to see more details about the learning procedure. |
< | < | ||
java -jar ROLL.jar play -periodic -v 2 | java -jar ROLL.jar play -periodic -v 2 | ||
</ | </ | ||
- | + | Besides the output conjectures, | |
- | + | 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, | ||
- | 2018/ | + | 2018/ |
Please input the number of letters (' | Please input the number of letters (' | ||
2 | 2 | ||
Line 210: | Line 212: | ||
ab | ab | ||
You input a loop: ab | You input a loop: ab | ||
+ | Current FDFA: | ||
// | // | ||
digraph { | digraph { | ||
Line 234: | Line 237: | ||
Is w-word (b, ab) in the unknown languge: 1/0 | Is w-word (b, ab) in the unknown languge: 1/0 | ||
0 | 0 | ||
+ | DFA D_{u$v} for counterexample (u, v): | ||
digraph Automaton { | digraph Automaton { | ||
rankdir = LR; | rankdir = LR; | ||
Line 258: | Line 262: | ||
} | } | ||
- | Not in target: b$ab | + | Counterexample not in target: b$ab |
- | final counterexample b$ab | + | final counterexample |
normalized factorization: | normalized factorization: | ||
Is w-word (ϵ, ab) in the unknown languge: 1/0 | Is w-word (ϵ, ab) in the unknown languge: 1/0 |
play.1542095957.txt.gz · Last modified: 2018/11/13 15:59 by liyong