An algebraic structure for derivations in rewriting systems

DOI10.1016/0304-3975(88)90039-4MaRDI QIDQ1111012zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 3983448
• An abstract formulation for rewrite systems
• scientific article; zbMATH DE number 3978423
• Confluence of algebraic rewriting systems
• Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding

Cites work

• scientific article; zbMATH DE number 3817946 (Why is no real title available?)
• scientific article; zbMATH DE number 3282607 (Why is no real title available?)
• scientific article; zbMATH DE number 3316072 (Why is no real title available?)
• Algebraic properties of derivation words
• Derivation languages and syntactical categories
• Polycategories
• Semantics of context-free languages
• Some remarks on derivations in general rewriting systems
• Syntax and semantics: A categorical view
• The basic algebraic structures in categories of derivations
• The parsing for general phrase-structure grammars

Cited in

(10)

• Confluence of algebraic rewriting systems
• Rewriting modulo isotopies in pivotal linear \((2,2)\)-categories
• scientific article; zbMATH DE number 4041318 (Why is no real title available?)
• Topological rewriting systems applied to standard bases and syntactic algebras
• An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra
• An abstract formulation for rewrite systems
• scientific article; zbMATH DE number 3983448 (Why is no real title available?)
• Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding
• scientific article; zbMATH DE number 2111734 (Why is no real title available?)
• scientific article; zbMATH DE number 3878384 (Why is no real title available?)

This page was built for publication: An algebraic structure for derivations in rewriting systems

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