Equivalences and transformations of regular systems - applications to recursive program schemes and grammars (Q1098322)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 4037257
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Equivalences and transformations of regular systems - applications to recursive program schemes and grammars |
scientific article; zbMATH DE number 4037257 |
Statements
Equivalences and transformations of regular systems - applications to recursive program schemes and grammars (English)
0 references
1986
0 references
The paper presents a unified theory of recursive systems defined by means of recursive definitions. Recursive program schemes and context-free grammars are considered as main examples of such systems. The equivalences of regular systems associated with solutions of recursive equations are systematically investigated and characterized in terms of system transformations by folding, unfolding and rewriting according to the equational algebraic laws. Correctness of introduced transformation rules is also proved.
0 references
regular systems of equations
0 references
recursive systems
0 references
recursive definitions
0 references
Recursive program schemes
0 references
context-free grammars
0 references
unfolding
0 references
rewriting
0 references
0 references
0 references
0 references
0 references
0 references
0.7825726866722107
0 references
