Leftist Grammars Are Non-primitive Recursive

DOI10.1007/978-3-540-70583-3_5MaRDI QIDQ3520303zbMATH OpenOpenAlexFDO

Authors Tomasz Jurdziński

Publication date 19 August 2008

Published in Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-70583-3_5

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Formal languages and automata (68Q45)

Recommendations

• Leftist grammars and the Chomsky hierarchy
• On Complexity of Grammars Related to the Safety Problem
• On complexity of grammars related to the safety problem
• Fundamentals of Computation Theory
• Toward a compositional theory of leftist grammars and transformations

Cites work

• CONCUR 2005 – Concurrency Theory
• Leftist grammars and the Chomsky hierarchy
• Leftist Grammars Are Non-primitive Recursive
• On complexity of grammars related to the safety problem
• Protection in operating systems
• Verifying lossy channel systems has nonprimitive recursive complexity.

Cited in

(6)

• On complexity of grammars related to the safety problem
• Leftist grammars and the Chomsky hierarchy
• Leftist Grammars Are Non-primitive Recursive
• Toward a compositional theory of leftist grammars and transformations
• On Complexity of Grammars Related to the Safety Problem
• Fundamentals of Computation Theory

This page was built for publication: Leftist Grammars Are Non-primitive Recursive

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