scientific article; zbMATH DE number 7650335

DOI10.4230/LIPICS.FSTTCS.2019.38MaRDI QIDQ5875673zbMATHFDO

Authors Sven Dziadek, Manfred Droste, W. Kuich

Publication date 3 February 2023

zbMATH Keywords

weighted automataalgebraic systemsGreibach normal form\(\omega\)-pushdown automataweighted \(\omega\)-context-free grammars

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Grammars and rewriting systems (68Q42) Algebraic theory of languages and automata (68Q70)

Recommendations

• Greibach normal form for \(\omega\)-algebraic systems and weighted simple \(\omega\)-pushdown automata
• Weighted simple reset pushdown automata
• The Chomsky-Schützenberger Theorem for Quantitative Context-Free Languages
• A Kleene theorem for weighted \(\omega\)-pushdown automata
• The Triple-Pair Construction for Weighted ω-Pushdown Automata

Cited in

(7)

• Algebraic properties of weighted pushdown automata over valuation monoid
• The Triple-Pair Construction for Weighted ω-Pushdown Automata
• The triple-pair construction for weighted \(\omega\)-pushdown automata
• A Kleene theorem for weighted \(\omega\)-pushdown automata
• Weighted omega-restricted one counter automata
• Greibach normal form for \(\omega\)-algebraic systems and weighted simple \(\omega\)-pushdown automata
• Weighted simple reset pushdown automata

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5875673)