In this paper we consider wordsequence functions, i.e., functions of the type ƒ: Σ ∗′ → Σ ∗‵ where Σ is a finite alphabet and r ⩾ 0, s > 0. By starting with finite sets of basic functions and by taking the closure with respect to composition, cylindrification and iteration, we give some characterizations of primitive recursive wordsequence functions. We define some hierarchies of length ω 2 of these functions by bounding the number of successive compositions and the depth of the nested iterations in the definitions of the functions. In such a manner we obtain refinements of the Axt, Grzegorczyk and Meyer and Ritchie generalized hierarchies of length ω of primitive recursive wordfunctions defined by Von Henke, Indermark and Weihrauch (1972). We consider Loop programs on words (see Ausiello and Moscarini (1976)) by allowing more than one output register, and we prove that the class of functions computed by these programs coincides with the class of primitive recursive wordsequence functions. The hierarchies of functions induce some hierarchies of programs. For the case of functions ƒ: Σ ∗′ → Σ ∗ , our hierarchies are compared with the Axt et al. generalized hierarchies. We also compare our hierarchies with storage hierarchies, and we analyze the power of the Loop programs as acceptors. Finally, we state some decidability results for the considered classes.
Read full abstract