Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
We propose to use the knowledge that an ω-We propose to use the knowledge that an ω-regular property is stutter insensitive to construct potentially smaller deterministic ω-automata for such a property, e.g. using Safra’s determinization construction. This knowledge allows us to skip states that are redundant under stuttering, which can reduce the size of the generated automaton. In order to use this technique even for automata that are not completely insensitive to stuttering, we introduce the notion of partial stutter insensitiveness and apply our construction only on the subset of symbols for which stuttering is allowed. We evaluate the benefits of this heuristic in practice using multiple sets of benchmark formulas.using multiple sets of benchmark formulas.  +
Christel Baier +  und Joachim Klein +
@inproceedings{KB2007,
  author    = {Joachim Klein and Christel Baier},
  title     = {On-the-Fly Stuttering in the Construction of Deterministic
               ${\o}mega$-Automata},
  booktitle = {Proc. of the 12th International Conference on Implementation and
               Application of Automata (CIAA)},
  series    = {Lecture Notes in Computer Science},
  volume    = {4783},
  publisher = {Springer},
  year      = {2007},
  pages     = {51--61},
  doi       = {10.1007/978-3-540-76336-9_7}
}
Inproceedings  +
Proc. of the 12th International Conference on Implementation and Application of Automata (CIAA)  +
10.1007/978-3-540-76336-9_7  +
51--61  +
Joachim Klein, Christel Baier<br/> 'Joachim Klein, Christel Baier<br/> '''[[Inproceedings2047454699|<b>On-the-Fly Stuttering in the Construction of Deterministic $ømega$-Automata</b>]]''' <br/>__NOTOC__<i>Proc. of the 12th International Conference on Implementation and Application of Automata (CIAA)</i>, volume 4783 of Lecture Notes in Computer Science, 51--61, 2007. Springer<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings2047454699|Details]]edings2047454699|Details]]  +
Joachim Klein, Christel Baier<br/> 'Joachim Klein, Christel Baier<br/> '''[[Inproceedings2047454699/en|<b>On-the-Fly Stuttering in the Construction of Deterministic $ømega$-Automata</b>]]''' <br/>__NOTOC__<i>Proc. of the 12th International Conference on Implementation and Application of Automata (CIAA)</i>, volume 4783 of Lecture Notes in Computer Science, 51--61, 2007. Springer<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings2047454699|Details]]edings2047454699|Details]]  +
Springer  +
Lecture Notes in Computer Science  +
On-the-Fly Stuttering in the Construction of Deterministic $ømega$-Automata  +
inproceedings  +
4783  +
2007  +
Anzeigetitel„Anzeigetitel <span style="font-size:small;">(Display title of)</span>“ ist ein softwareseitig fest definiertes Attribut, das einen eindeutigen Anzeigetitel zu einem Objekt speichert und ihm zuweist. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
On-the-Fly Stuttering in the Construction of Deterministic $ømega$-Automata  +
Zuletzt geändert„Zuletzt geändert <span style="font-size:small;">(Modification date)</span>“ ist ein softwareseitig fest definiertes Attribut, das das Datum der letzten Änderung einer Seite speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
5. März 2025, 13:45:00  +
Hat Abfrage„Hat Abfrage <span style="font-size:small;">(Has query)</span>“ ist ein softwareseitig fest definiertes Attribut, das die Metainformationen einer Abfrage als <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Subobject">Subobjekt</a> speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.