Login
- Titel:
Index appearance record with preorders
- Dokumenttyp:
- Zeitschriftenaufsatz
- Autor(en):
- Křetínský, Jan; Meggendorfer, Tobias; Waldmann, Clara; Weininger, Maximilian
- Nicht-TUM Koautoren:
- ja
- Kooperation:
- international
- Abstract:
- Transforming {\$}{\$}{\backslash}omega {\$}{\$}-automata into parity automata is traditionally done using appearance records. We present an efficient variant of this idea, tailored to Rabin automata, and several optimizations applicable to all appearance records. We compare the methods experimentally and show that our method produces significantly smaller automata than previous approaches.
- Intellectual Contribution:
- Discipline-based Research
- Zeitschriftentitel:
- Acta Informatica
- Journal gelistet in FT50 Ranking:
- nein
- Jahr:
- 2021
- Volltext / DOI:
- doi:10.1007/s00236-021-00412-y
- Verlag / Institution:
- Springer Science and Business Media LLC
- E-ISSN:
- 0001-59031432-0525
- Publikationsdatum:
- 30.12.2021
- Urteilsbesprechung:
- 0
- Key publication:
- Nein
- Peer reviewed:
- Ja
- commissioned:
- not commissioned
- Technology:
- Nein
- Interdisziplinarität:
- Ja
- Leitbild:
- ;
- Ethics und Sustainability:
- Nein
BibTeX