Substitution expressions

DOI10.1016/S0022-0000(71)80020-XzbMath0229.68026OpenAlexW2912058948MaRDI QIDQ2550293

I. P. McWhirter

Publication date: 1971

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0022-0000(71)80020-x

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (6)

Unnamed Item ⋮ Solutions of equations in languages ⋮ Recursive generation of local adjunct languages ⋮ Iterating iterated substitution ⋮ Classes of formal grammars ⋮ On a generalization of regular expressions

Uses Software

• ALGOL 60

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Transition graphs and the star-height of regular events
• A New Normal-Form Theorem for Context-Free Phrase Structure Grammars
• Two Families of Languages Related to ALGOL
• Full AFLs and nested iterated substitution
• A Diagrammatic Approach to Multilevel Logic Synthesis
• A modification of a substitution theorem and some necessary and sufficient conditions for sets to be context-free

This page was built for publication: Substitution expressions