Differences

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

--- how_to_use [2018/01/25 10:46] – liyong
+++ how_to_use [2018/03/29 16:54] (current) – liyong
@@ Line 85: / Line 85: @@
 options.approximation = Options.Approximation.UNDER;
 // set NBA learner, here we use tree-based syntactic FDFA learner
-options.algorithm = Algorithm.SYNTACTIC;
+options.algorithm = Options.Algorithm.SYNTACTIC;
-options.structure = Structure.TREE;
+options.structure = Options.Structure.TREE;
 LearnerBase<NBA> learner = null;
 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
        || options.algorithm == Options.Algorithm.SYNTACTIC
        || options.algorithm == Options.Algorithm.RECURRENT) {
-       learner = new LearnerNBALOmega(options, nba.getAlphabet(), teacher);
+       learner = new LearnerNBALOmega(options, target.getAlphabet(), teacher);
 } else {
        throw new UnsupportedOperationException("Unsupported BA Learner");
@@ Line 136: / Line 137: @@
 The complete code is the class roll.main.Executor.
 ===== Acknowledgement =====
 We use [[http://www.ej-technologies.com/products/jprofiler/overview.html