The triple-pair construction for weighted -pushdown automata

MaRDI QIDQ5016362zbMATH OpenFDO

Authors Manfred Droste, Zoltán Ésik, W. Kuich

Publication date 13 December 2021

Full work available at URL https://arxiv.org/abs/1708.06463, http://eptcs.web.cse.unsw.edu.au/paper.cgi?AFL2017.12

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Algebraic theory of languages and automata (68Q70) Semirings (16Y60)

Recommendations

• The Triple-Pair Construction for Weighted ω-Pushdown Automata
• Weighted omega-restricted one counter automata
• A Kleene theorem for weighted \(\omega\)-pushdown automata
• scientific article; zbMATH DE number 7650335
• Greibach normal form for \(\omega\)-algebraic systems and weighted simple \(\omega\)-pushdown automata

Cites work

• scientific article; zbMATH DE number 3860410 (Why is no real title available?)
• scientific article; zbMATH DE number 5141498 (Why is no real title available?)
• scientific article; zbMATH DE number 3932372 (Why is no real title available?)
• scientific article; zbMATH DE number 3497806 (Why is no real title available?)
• scientific article; zbMATH DE number 3588051 (Why is no real title available?)
• scientific article; zbMATH DE number 3639163 (Why is no real title available?)
• scientific article; zbMATH DE number 233974 (Why is no real title available?)
• scientific article; zbMATH DE number 2206109 (Why is no real title available?)
• scientific article; zbMATH DE number 3366846 (Why is no real title available?)
• A semiring-semimodule generalization of transducers and abstract \(\omega\)-families of power series
• On iteration semiring-semimodule pairs.
• Theory Is Forever
• Theory of -languages. I: Characterizations of -context- free languages
• Weighted omega-restricted one counter automata

Cited in

(6)

• Weighted three directions OTA and weighted hexapolic picture automata
• A Kleene theorem for weighted \(\omega\)-pushdown automata
• Greibach normal form for \(\omega\)-algebraic systems and weighted simple \(\omega\)-pushdown automata
• Weighted omega-restricted one counter automata
• Weighted simple reset pushdown automata
• The Triple-Pair Construction for Weighted ω-Pushdown Automata

This page was built for publication: The triple-pair construction for weighted \(\omega\)-pushdown automata

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