3 # parametrs for learner
4 # aphabetSize {small, partial, full} - selects subset input alphabet. this affects model size
5 # learningMethod {LStar, TTT, RS, KV}
6 # equaviance orace {rand, wm, wpm}
9 java
-cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main small LStar rand
11 java
-cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main small TTT rand
13 java
-cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main small RS rand
15 java
-cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main small KV rand
18 java
-cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main small LStar wm
20 java
-cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main small TTT wm
22 java
-cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main small RS wm
24 java
-cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main small KV wm
27 java
-cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main partial LStar rand
29 java
-cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main partial TTT rand
31 java
-cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main partial RS rand
33 java
-cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main partial KV rand
36 java
-cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main partial LStar wm
38 java
-cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main partial TTT wm
40 java
-cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main partial RS wm
42 java
-cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main partial KV wm
46 java
-cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main full LStar rand
48 java
-cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main full TTT rand
50 java
-cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main full RS rand
52 java
-cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main full KV rand
55 java
-cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main full LStar wm
57 java
-cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main full TTT wm
59 java
-cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main full RS wm
61 java
-cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main full KV wm
63 cp learned
*.
{dot
,pdf
} results
/