Difference between revisions of "Publications/pape.21.seminar"
From LRDE
(Created page with "{{CSIReport | authors = Corentin Pape | title = Polynomial Identification of Omega Language | year = 2021 | number = 2113 | abstract = ... Insert an abstract in English here ....") |
|||
Line 1: | Line 1: | ||
{{CSIReport |
{{CSIReport |
||
| authors = Corentin Pape |
| authors = Corentin Pape |
||
− | | title = Polynomial Identification of |
+ | | title = Polynomial Identification of omega-Languages |
| year = 2021 |
| year = 2021 |
||
| number = 2113 |
| 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 |
||
− | | abstract = ... Insert an abstract in English here ... |
||
| type = techreport |
| type = techreport |
||
| id = pape.21.seminar |
| id = pape.21.seminar |
Revision as of 14:19, 27 June 2021
- 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