Algebras of iteration theories (Q789159)

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.