This artifact provides the implementation of the L* learning algorithm described in the paper "Learning Regular
Sets from Queries and Counterexamples" (https://doi.org/10.1016/0890-5401(87)90052-6) by Dana Angluin including
variations and optimizations thereof such as the versions based on "On the Learnability of Infinitary Regular
Sets" (https://doi.org/10.1006/inco.1995.1070) by Oded Maler and Amir Pnueli or "Inference of finite automata
using homing sequences" ...
Licenses
| License | URL |
|---|---|
| Apache License, Version 2.0 | https://www.apache.org/licenses/LICENSE-2.0.txt |
Developers
| Name | Dev Id | Roles | Organization | |
|---|---|---|---|---|
| Markus Frohme | markus.frohme<at>udo.edu | mtf90 | Developer, Maintainer | TU Dortmund University, Chair of Programming Systems |
| Falk Howar | falk.howar<at>gmail.com | fhowar | Developer | TU Dortmund University, Chair of Software Engineering |