Greibach normal form for -algebraic systems and weighted simple -pushdown automata

DOI10.1016/J.IC.2022.104871MaRDI QIDQ2672253zbMATH OpenOpenAlexFDO

Authors Sven Dziadek, Manfred Droste, W. Kuich

Publication date 8 June 2022

Published in Information and Computation (Search for Journal in Brave)

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

zbMATH Keywords

Greibach normal formomega context-free languagesomega-pushdown automataweighted automata

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 7650335
• Weighted simple reset pushdown automata
• scientific article; zbMATH DE number 177807
• A Kleene theorem for weighted -pushdown automata
• The Triple-Pair Construction for Weighted ω-Pushdown Automata

Cites work

• A Kleene theorem for weighted -pushdown automata
• A logical characterization of timed pushdown languages
• A New Normal-Form Theorem for Context-Free Phrase Structure Grammars
• Handbook of weighted automata
• 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 3238653 (Why is no real title available?)
• scientific article; zbMATH DE number 3366846 (Why is no real title available?)
• scientific article; zbMATH DE number 7650335 (Why is no real title available?)
• Logic for \(\omega\)-pushdown automata
• Logics for weighted timed pushdown automata
• Matricial theories
• Matrix and matricial iteration theories. II
• On iteration semiring-semimodule pairs.
• The triple-pair construction for weighted \(\omega\)-pushdown automata
• Theory Is Forever
• Theory of -languages. I: Characterizations of -context- free languages
• Weighted simple reset pushdown automata

Cited in

(6)

• Weighted simple reset pushdown automata
• Weighted omega-restricted one counter automata
• The triple-pair construction for weighted \(\omega\)-pushdown automata
• scientific article; zbMATH DE number 7650335 (Why is no real title available?)
• The Triple-Pair Construction for Weighted ω-Pushdown Automata
• Weighted Linear Dynamic Logic

Describes a project that uses

Uses Software

• Word

This page was built for publication: Greibach normal form for \(\omega\)-algebraic systems and weighted simple \(\omega\)-pushdown automata

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