scientific article; zbMATH DE number 3878384

MaRDI QIDQ3343462zbMATH OpenFDO

Authors T. V. Griffiths

Publication date 1981

zbMATH Keywords

context-free languagegeneral rewriting systemsemi-Thue system

Mathematics Subject Classification ID

Thue and Post systems, etc. (03D03) Recursively (computably) enumerable sets and degrees (03D25) Formal languages and automata (68Q45)

Recommendations

• An algebraic structure for derivations in rewriting systems
• scientific article; zbMATH DE number 4006231
• Foundations of Software Science and Computation Structures
• Expressing combinatory reduction systems derivations in the rewriting calculus
• Remarks on Thatte's transformation of term rewriting systems
• scientific article; zbMATH DE number 1419256
• Derivational complexity and context-sensitive Rewriting
• Derivation trees of ground term rewriting systems.
• A note on depth-first derivations
• Computer Science Logic

Cited in

(1)

• A note on the strong and weak generative powers of formal systems

This page was built for publication:

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