Package | Description |
---|---|
de.learnlib.algorithms.lstar.dfa | |
de.learnlib.algorithms.malerpnueli | |
de.learnlib.algorithms.rivestschapire |
Modifier and Type | Class and Description |
---|---|
class |
ClassicLStarDFA<I>
Implementation of the L* algorithm by Dana Angluin.
|
class |
ExtensibleLStarDFA<I>
An implementation of Angluin's L* algorithm for learning DFAs, as described in the paper "Learning Regular Sets from
Queries and Counterexamples".
|
Modifier and Type | Class and Description |
---|---|
class |
MalerPnueliDFA<I> |
Modifier and Type | Class and Description |
---|---|
class |
RivestSchapireDFA<I> |
Copyright © 2018. All rights reserved.