The triple-pair construction for weighted -pushdown automata

zbMATH Open1483.68163arXiv1708.06463MaRDI QIDQ5016362FDOQ5016362

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

Publication date: 13 December 2021

Full work available at URL: https://arxiv.org/abs/1708.06463

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Theory of \(\omega\)-languages. I: Characterizations of \(\omega\)-context- free languages
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On iteration semiring-semimodule pairs.
• Theory Is Forever
• Title not available (Why is that?)
• Title not available (Why is that?)
• A semiring-semimodule generalization of transducers and abstract \(\omega\)-families of power series
• 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)