Regular Omega Language Learning (ROLL)

User Tools

Site Tools

Trace:
how_to_use

Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
how_to_use [2018/01/25 10:43] – liyonghow_to_use [2018/03/29 16:54] (current) – liyong
Line 84: Line 84:
 // use the under-approximation method to construct a BA from an FDFA // use the under-approximation method to construct a BA from an FDFA
 options.approximation = Options.Approximation.UNDER; options.approximation = Options.Approximation.UNDER;
-// specify FDFA learner, here we use tree-based periodic FDFA learner+// set NBA learner, here we use tree-based syntactic FDFA learner 
 +options.algorithm = Options.Algorithm.SYNTACTIC; 
 +options.structure = Options.Structure.TREE;
 LearnerBase<NBA> learner = null; LearnerBase<NBA> learner = null;
 if(options.algorithm == Options.Algorithm.NBA_LDOLLAR) { if(options.algorithm == Options.Algorithm.NBA_LDOLLAR) {
-       learner = new LearnerNBALDollar(options, nba.getAlphabet(), teacher);+       // input teacher as a membership oracle for the learner 
 +       learner = new LearnerNBALDollar(options, target.getAlphabet(), teacher);
 }else if(options.algorithm == Options.Algorithm.PERIODIC }else if(options.algorithm == Options.Algorithm.PERIODIC
        || options.algorithm == Options.Algorithm.SYNTACTIC        || options.algorithm == Options.Algorithm.SYNTACTIC
        || options.algorithm == Options.Algorithm.RECURRENT) {        || options.algorithm == Options.Algorithm.RECURRENT) {
-       learner = new LearnerNBALOmega(options, nba.getAlphabet(), teacher);+       learner = new LearnerNBALOmega(options, target.getAlphabet(), teacher);
 } else { } else {
        throw new UnsupportedOperationException("Unsupported BA Learner");        throw new UnsupportedOperationException("Unsupported BA Learner");
Line 134: Line 137:
  
 The complete code is the class roll.main.Executor. The complete code is the class roll.main.Executor.
 +
 ===== Acknowledgement ===== ===== Acknowledgement =====
 We use [[http://www.ej-technologies.com/products/jprofiler/overview.html We use [[http://www.ej-technologies.com/products/jprofiler/overview.html
how_to_use.txt · Last modified: 2018/03/29 16:54 by liyong