On the Power of Recursive Word-Functions Without Concatenation

Jérôme Durand-Lose (1)

1 LIFO - Laboratoire d'Informatique Fondamentale d'Orléans

Primitive recursion can be defined on words instead of natural numbers. Up to usual encoding, primitive recursive functions coincide. Working with words allows to address words directly and not through some integer encoding (of exponential size). Considering alphabets with at least two symbols allows to relate simply and naturally to complexity theory. Indeed, the polynomial-time complexity class (as well as and exponential time) corresponds to delayed and dynamical evaluation with a polynomial bound on the size of the trace of the computation as a direct acyclic graph. Primitive recursion in the absence of concatenation (or successor for numbers) is investigated. Since only suffixes of an input can be output, computation is very limited; pairing and unary encoding are impossible. Yet non-trivial relations and languages can be decided. Some algebraic (anbn, palindromes) and non-algebraic (anbncn) languages are decidable. It is also possible to check arithmetical constrains like anbmcP(n,m) with P polynomial with positive coefficients in two (or more) variables. Every regular language is decidable if recursion can be defined on multiple functions at once.

Mots clés: Primitive recursion; Recursion on words; String recursion; Word-Functions

Domaines: Théorie et langage formel [cs.FL]

Jérôme Durand-Lose. On the Power of Recursive Word-Functions Without Concatenation. Descriptional Complexity of Formal Systems, 2022, Debrecen, Hungary. pp.30-42, ⟨10.1007/978-3-031-13257-5_3⟩. ⟨hal-03765152⟩