a4/tcp/run.sh

   1 #!/bin/bash -x
   2
   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}
   7
   8 ./adapter.sh &
   9 java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main small LStar rand
  10 ./adapter.sh &
  11 java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main small TTT rand
  12 ./adapter.sh &
  13 java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main small RS rand
  14 ./adapter.sh &
  15 java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main small KV rand
  16
  17 ./adapter.sh &
  18 java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main small LStar wm
  19 ./adapter.sh &
  20 java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main small TTT wm
  21 ./adapter.sh &
  22 java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main small RS wm
  23 ./adapter.sh &
  24 java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main small KV wm
  25
  26 ./adapter.sh &
  27 java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main partial LStar rand
  28 ./adapter.sh &
  29 java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main partial TTT rand
  30 ./adapter.sh &
  31 java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main partial RS rand
  32 ./adapter.sh &
  33 java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main partial KV rand
  34
  35 ./adapter.sh &
  36 java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main partial LStar wm
  37 ./adapter.sh &
  38 java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main partial TTT wm
  39 ./adapter.sh &
  40 java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main partial RS wm
  41 ./adapter.sh &
  42 java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main partial KV wm
  43
  44
  45 ./adapter.sh &
  46 java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main full LStar rand
  47 ./adapter.sh &
  48 java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main full TTT rand
  49 ./adapter.sh &
  50 java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main full RS rand
  51 ./adapter.sh &
  52 java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main full KV rand
  53
  54 ./adapter.sh &
  55 java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main full LStar wm
  56 ./adapter.sh &
  57 java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main full TTT wm
  58 ./adapter.sh &
  59 java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main full RS wm
  60 ./adapter.sh &
  61 java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main full KV wm
  62
  63 cp learned*.{dot,pdf} results/
  64