J 2022

Index appearance record with preorders

KŘETÍNSKÝ, Jan; Tobias MEGGENDORFER; Clara WALDMANN a Maximilian WEININGER

Základní údaje

Originální název

Index appearance record with preorders

Autoři

KŘETÍNSKÝ, Jan; Tobias MEGGENDORFER; Clara WALDMANN a Maximilian WEININGER

Vydání

Acta informatica, Springer, 2022, 0001-5903

Další údaje

Typ výsledku

Článek v odborném periodiku

Impakt faktor

Impact factor: 0.600

Označené pro přenos do RIV

Ne

Organizační jednotka

Fakulta informatiky

DOI

Změněno: 17. 3. 2025 14:43, RNDr. Pavel Šmerk, Ph.D.

Anotace

V originále

Transforming ω-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.