Nivat-Theorem and Logic for Weighted Pushdown Automata on Infinite Words - Archive ouverte HAL
Communication Dans Un Congrès Année : 2020

Nivat-Theorem and Logic for Weighted Pushdown Automata on Infinite Words

Résumé

Recently, weighted ω-pushdown automata have been introduced by Droste, Ésik, Kuich. This new type of automaton has access to a stack and models quantitative aspects of infinite words. Here, we consider a simple version of those automata. The simple ω-pushdown automata do not use ε-transitions and have a very restricted stack access. In previous work, we could show this automaton model to be expressively equivalent to context-free ω-languages in the unweighted case. Furthermore, semiring-weighted simple ω-pushdown automata recognize all ω-algebraic series. Here, we consider ω-valuation monoids as weight structures. As a first result, we prove that for this weight structure and for simple ω-pushdown automata, Büchi-acceptance and Muller-acceptance are expressively equivalent. In our second result, we derive a Nivat theorem for these automata stating that the behaviors of weighted ω-pushdown automata are precisely the projections of very simple ω-series restricted to ω-context-free languages. The third result is a weighted logic with the same expressive power as the new automaton model. To prove the equivalence, we use a similar result for weighted nested ω-word automata and apply our present result of expressive equivalence of Muller and Büchi acceptance.
Fichier principal
Vignette du fichier
droste_dziadek_kuich-nivat_theorem_and_logic_for_weighted_pushdown_automata_on_infinite_words-2020.pdf (545.71 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-04732187 , version 1 (11-10-2024)

Identifiants

Citer

Manfred Droste, Sven Dziadek, Werner Kuich. Nivat-Theorem and Logic for Weighted Pushdown Automata on Infinite Words. 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2020), Dec 2020, Online, India. ⟨10.4230/LIPIcs.FSTTCS.2020.44⟩. ⟨hal-04732187⟩
0 Consultations
0 Téléchargements

Altmetric

Partager

More