Polynomial Identification of omega-Languages
From LRDE
Revision as of 13:19, 27 June 2021 by Corentin Pape (talk | contribs)
- Authors
- Corentin Pape
- Type
- techreport
- Year
- 2021
- Number
- 2113
Abstract
The present report is the C++ implementation of the algorithm ID described by Dana Angluin and al in "Polynomial Identification of omega-Automata". It allows identification, or passive learning, of regular omega-languages and omega-automata, in polynomial time and data. It is a preliminary work to the study of active learning of omega-languages. The code is available at https://gitlab.lrde.epita.fr/cpape/ID