A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit <a rel="external noopener" href="http://www.cis.upenn.edu/~fisman/documents/AF_ALT14.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Learning regular omega languages
<span title="">2016</span>
<i title="Elsevier BV">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/elaf5sq7lfdxfdejhkqbtz6qoq" style="color: black;">Theoretical Computer Science</a>
</i>
Preserved Fulltext
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
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.tcs.2016.07.031">doi:10.1016/j.tcs.2016.07.031</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pqhjgq3cvnf7toewzmodnecnia">fatcat:pqhjgq3cvnf7toewzmodnecnia</a>
</span>
more »
... r 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.
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170829111429/http://www.cis.upenn.edu/~fisman/documents/AF_ALT14.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/97/80/978076845eab346bdd5e7ca744ec7e92e8d45ad8.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.tcs.2016.07.031">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
elsevier.com
</button>
</a>