Inferring regular languages and ω-languages

Research output: Contribution to journalArticlepeer-review

8 Scopus citations

Abstract

In 1987 Angluin proposed an algorithm, termed L for inferring an unknown regular language using membership and equivalence queries. This algorithm has found many applications, amongst which in the area of system design and verification. These applications challenge the state-of-the art solutions in various directions, in particular, scaling or working with more succinct representations, and dealing with ω-languages, the main model for reasoning about reactive systems. Both extensions confront a similar difficulty. Inference algorithms typically rely on the correspondence between the automata states and the right congruence, henceforth, the residuality property. DFAs enjoy the residuality property (as stated by the Myhill–Nerode Theorem) but more succinct representations such as non-deterministic and alternating finite automata (NFAs and AFAs) in general do not. The situation in the ω-languages realm is even worse, since none of the traditional automata that can express all regular ω-languages enjoys the residuality property. This paper surveys residual models for regular languages and ω-languages and the learning algorithms that can infer these models.

Original languageEnglish
Pages (from-to)27-49
Number of pages23
JournalJournal of Logical and Algebraic Methods in Programming
Volume98
DOIs
StatePublished - 1 Aug 2018

Keywords

  • Grammatical inference
  • Model learning
  • Myhill–Nerode theorem
  • Regular languages
  • Right congruence
  • ω-regular languages

Fingerprint

Dive into the research topics of 'Inferring regular languages and ω-languages'. Together they form a unique fingerprint.

Cite this