An algebraic structure for derivations in rewriting systems (Q1111012)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: An algebraic structure for derivations in rewriting systems |
scientific article; zbMATH DE number 4074463
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An algebraic structure for derivations in rewriting systems |
scientific article; zbMATH DE number 4074463 |
Statements
An algebraic structure for derivations in rewriting systems (English)
0 references
1988
0 references
A unified description of the algebraic rewriting systems and their syntax and semantics is presented. The basic algebraic structures - polygraphs and polycategories are recalled (2. and 3.). The derivations and the similarity are defined and studied (4., 5., 6.). Some applications are pointed out, especially in the semantics and syntax of formal languages.
0 references
algebraic rewriting systems
0 references
polygraphs
0 references
polycategories
0 references
derivations
0 references
semantics
0 references
syntax
0 references
formal languages
0 references
