An algebraic structure for derivations in rewriting systems

DOI10.1016/0304-3975(88)90039-4zbMath0657.68025OpenAlexW2088527413MaRDI QIDQ1111012

Yury Velinov

Publication date: 1988

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(88)90039-4

zbMATH Keywords

derivationssemanticsformal languagessyntaxpolygraphsalgebraic rewriting systemspolycategories

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Abstract data types; algebraic specification (68Q65) Foundations, relations to logic and deductive systems (18A15)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algebraic properties of derivation words
• The basic algebraic structures in categories of derivations
• Derivation languages and syntactical categories
• Polycategories
• Some remarks on derivations in general rewriting systems
• Semantics of context-free languages
• Syntax and semantics: A categorical view
• The parsing for general phrase-structure grammars