About LearnLib :: Algorithms :: Passive
Parent module for (passive) automata learning algorithms shipped with LearnLib
Project Modules
This project has declared the following modules:
| Name | Description |
|---|---|
| LearnLib :: Algorithms :: OSTIA | This artifact provides the implementation of the "onward subsequential transducer inference algorithm" (OSTIA) learning algorithm as presented in the paper "Learning Subsequential Transducers for Pattern Recognition Interpretation Tasks" (https://doi.org/10.1109/34.211465) by Jose Oncina, Pedro García, and Enrique Vidal. |
| LearnLib :: Algorithms :: RPNI | This artifact provides the implementation of (a blue-fringe version of) the "regular positive negative inference" (RPNI) learning algorithm as presented in the paper "Inferring regular languages in polynomial update time" (https://doi.org/10.1142/9789812797902_0004) by Jose Oncina and Pedro García, including merging heuristics such as the "evidence-driven state merging" (EDSM) and "minimum description length" (MDL) strategies. More details on these implementations can be found in the book "Grammatical Inference" (https://doi.org/10.1017/CBO9781139194655) by Colin de la Higuera. |