Polynomial Identification of omega-Language

From LRDE

Revision as of 06:26, 28 June 2021 by Bot (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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