Logic for \(\omega\)-pushdown automata

DOI10.1016/j.ic.2020.104659zbMath1491.68097OpenAlexW3107587550MaRDI QIDQ2064532

Sven Dziadek, Werner Kuich, Manfred Droste

Publication date: 6 January 2022

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

Full work available at URL: https://doi.org/10.1016/j.ic.2020.104659

zbMATH Keywords

logic\(\omega\)-wordspushdown automatanested wordsGreibach normal form

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Higher-order logic (03B16)

Related Items (2)

Greibach normal form for \(\omega\)-algebraic systems and weighted simple \(\omega\)-pushdown automata ⋮ Unnamed Item

Uses Software

• Word

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Büchi context-free languages
• Theory of \(\omega\)-languages. I: Characterizations of \(\omega\)-context- free languages
• Monadic second-order logic over rectangular pictures and recognizability by tiling systems
• Weighted automata and weighted logics
• Weighted simple reset pushdown automata
• A Weighted MSO Logic with Storage Behaviour and Its Büchi-Elgot-Trakhtenbrot Theorem
• Logics for Weighted Timed Pushdown Automata
• A Logical Characterization of Timed Pushdown Languages
• Weak Second‐Order Arithmetic and Finite Automata
• Adding nesting structure to words
• Weighted Logics for Nested Words and Algebraic Formal Power Series
• Visibly pushdown languages
• Decision Problems of Finite Automata Design and Related Arithmetics
• Generalized finite automata theory with an application to a decision problem of second-order logic

This page was built for publication: Logic for \(\omega\)-pushdown automata