Regular Omega Language Learning (ROLL)

User Tools

Site Tools

Trace:
usage

Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Last revisionBoth sides next revision
usage [2018/11/14 16:09] – [Lazy Equivalence Check] liyongusage [2018/11/15 20:21] – [Counterexample Analysis] liyong
Line 114: Line 114:
  
 When receiving a counterexample, the learner has to find a valid suffix of the counterexample as a new experiment in order to identify more states in the target automaton. When receiving a counterexample, the learner has to find a valid suffix of the counterexample as a new experiment in order to identify more states in the target automaton.
-By default, ROLL will use a linear search to find that suffix, but you can also choose to use binary search to do that by giving the option **-bs**+By default, ROLL will use a linear search to find that suffix, but you can also choose to use binary search to do that by giving the option **-bs** (NOT FULLY TESTED).
  
 ==== Verbose Log Level ==== ==== Verbose Log Level ====
usage.txt · Last modified: 2018/11/15 20:21 by liyong