A Kleene theorem for weighted -pushdown automata

DOI10.14232/ACTACYB.23.1.2017.4MaRDI QIDQ5350146zbMATH OpenOpenAlexFDO

Authors Manfred Droste, W. Kuich

Publication date 25 August 2017

Published in Acta Cybernetica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.14232/actacyb.23.1.2017.4

zbMATH Keywords

Kleene theorem\(\omega\)-pushdown automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Automata and languages generalized to \(\omega\)-continuous semirings
• scientific article; zbMATH DE number 177807
• The triple-pair construction for weighted \(\omega\)-pushdown automata
• ON WEIGHTED BÜCHI AUTOMATA WITH ORDER-COMPLETE WEIGHTS
• scientific article; zbMATH DE number 7650335

Cited in

(7)

• scientific article; zbMATH DE number 7650335 (Why is no real title available?)
• The Triple-Pair Construction for Weighted ω-Pushdown Automata
• The triple-pair construction for weighted \(\omega\)-pushdown automata
• Automata and languages generalized to \(\omega\)-continuous semirings
• Greibach normal form for \(\omega\)-algebraic systems and weighted simple \(\omega\)-pushdown automata
• A Chomsky-Schützenberger Theorem for Weighted Automata with Storage
• scientific article; zbMATH DE number 7407779 (Why is no real title available?)

This page was built for publication: A Kleene theorem for weighted \(\omega\)-pushdown automata

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