Algebras of iteration theories (Q789159)
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 3845014
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Algebras of iteration theories |
scientific article; zbMATH DE number 3845014 |
Statements
Algebras of iteration theories (English)
0 references
1983
0 references
Iteration theories are what the author previously introduced as generalized iterative theories [Comput. Linguist. Comput. Lang. 14, 183- 207 (1980; Zbl 0466.68010)]. Quite a few impressive formal calculations have to be done before algebras for iteration theories (''iteration algebras'') can be defined in the same vein as in the algebras for iterative theories (''iterative algebras'') invented by \textit{J. Tiuryn} [Theor. Comput. Sci. 12, 229-254 (1980; Zbl 0439.68026)]. Iteration algebras appear as generalizations of regular algebras [see \textit{J. Tiuryn}, Fundam. Inf. 2, 103-127 (1978; Zbl 0401.68062)], and the absolutely free iteration algebras coincide with the absolutely free regular algebras. Every iterative algebra admits an extension to an iteration algebra with arbitrarily prescribed image of the identity injection under iteration.
0 references
iterative theory
0 references
iterative algebra
0 references
iteration theory
0 references
iteration algebra
0 references
regular algebra
0 references
0.8783047795295715
0 references
0.877553403377533
0 references
0.8351801633834839
0 references
0.8315240740776062
0 references
