Module net.automatalib.incremental
module net.automatalib.incremental
This module contains algorithms for incrementally constructing
DFAs (prefix-closed and
non-prefix-closed), Mealy machines, and Moore machines from a finite,
incrementally growing set of example inputs/outputs.
This module is provided by the following Maven dependency:
<dependency>
<groupId>net.automatalib</groupId>
<artifactId>automata-incremental</artifactId>
<version>${version}</version>
</dependency>
-
Packages
PackageExported To ModulesOpened To ModulesDescriptionAll ModulesAll ModulesAll ModulesAll ModulesAll ModulesAll ModulesAll ModulesAll ModulesAll ModulesAll ModulesAll ModulesAll ModulesAll ModulesAll ModulesAll ModulesAll ModulesAll ModulesAll ModulesAll ModulesAll Modules