Difference between revisions of "Publications/pape.21.seminar"

From LRDE

 
Line 1: Line 1:
 
{{CSIReport
 
{{CSIReport
 
| authors = Corentin Pape
 
| authors = Corentin Pape
| title = Polynomial Identification of omega-Languages
+
| title = Polynomial Identification of omega-Language
 
| 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 = 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
 
| type = techreport
 
| type = techreport
 
| id = pape.21.seminar
 
| id = pape.21.seminar

Latest revision as of 06:26, 28 June 2021

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