Project Information
This document provides an overview of the various documents and links that are part of this project's general information. All of this content is automatically generated by Maven on behalf of the project.
Overview
| Document | Description |
|---|---|
| About | 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://dx.doi.org/10.1006/inco.1995.1070) by Oded Maler and Amir Pnueli or "Inference of finite automata using homing sequences" (http://dx.doi.org/10.1006/inco.1993.1021) by Ronald L. Rivest and Robert E. Schapire. |
| Licenses | This document lists the project license(s). |
| Team | This document provides information on the members of this project. These are the individuals who have contributed to the project in one form or another. |
| Source Code Management | This document lists ways to access the online source repository. |
| Issue Management | This document provides information on the issue management system used in this project. |
| CI Management | This document lists the continuous integration management system of this project for building and testing code on a frequent, regular basis. |
| Dependencies | This document lists the project's dependencies and provides information on each dependency. |
| Dependency Information | This document describes how to include this project as a dependency using various dependency management tools. |