Crisp-Determinization of Weighted Tree Automata over Additively Locally Finite and Past-Finite Monotonic Strong Bimonoids Is Decidable

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Beitragende

  • Manfred Droste - , Universität Leipzig (Autor:in)
  • Zoltán Fülöp - , University of Szeged (Autor:in)
  • Dávid Kószó - , University of Szeged (Autor:in)
  • Heiko Vogler - , Professur für Grundlagen der Programmierung (Autor:in)

Details

OriginalspracheEnglisch
TitelDescriptional Complexity of Formal Systems
Redakteure/-innenGalina Jirásková, Giovanni Pighizzini
Seiten39-51
Seitenumfang13
PublikationsstatusVeröffentlicht - 2020
Peer-Review-StatusJa

Publikationsreihe

ReiheLecture Notes in Computer Science, Volume 12442
ISSN0302-9743

Externe IDs

Scopus 85097381632

Schlagworte

Schlagwörter

  • Strong bimonoid, Determinization, Decidability, Semiring, Weighted tree automaton

Bibliotheksschlagworte