Learning regular omega languages

Dana Angluin, Dana Fisman

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

17 Scopus citations

Abstract

We provide an algorithm for learning an unknown regular set of infinite words, using membership and equivalence queries. Three variations of the algorithm learn three different canonical representations of omega regular languages, using the notion of families of dfas. One is of size similar to L$, a dfa representation recently learned using L∗ [7]. The second is based on the syntactic forc, introduced in [14]. The third is introduced herein. We show that the second can be exponentially smaller than the first, and the third is at most as large as the first two, with up to a quadratic saving with respect to the second.

Original languageEnglish
Title of host publicationAlgorithmic Learning Theory - 25th International Conference, ALT 2014, Proceedings
EditorsPeter Auer, Alexander Clark, Thomas Zeugmann, Sandra Zilles
PublisherSpringer Verlag
Pages125-139
Number of pages15
ISBN (Electronic)9783319116617
DOIs
StatePublished - 1 Jan 2014
Externally publishedYes
Event25th International Conference on Algorithmic Learning Theory, ALT 2014 - Bled, Slovenia
Duration: 8 Oct 201410 Oct 2014

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8776
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference25th International Conference on Algorithmic Learning Theory, ALT 2014
Country/TerritorySlovenia
CityBled
Period8/10/1410/10/14

Fingerprint

Dive into the research topics of 'Learning regular omega languages'. Together they form a unique fingerprint.

Cite this