An algebraic structure for derivations in rewriting systems (Q1111012)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An algebraic structure for derivations in rewriting systems |
scientific article |
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
