pith. sign in

arxiv: 1011.1842 · v2 · pith:52YJKWQVnew · submitted 2010-11-08 · 💻 cs.FL · math.NT

Orbits of linear maps and regular languages

classification 💻 cs.FL math.NT
keywords problemlinearfilterlanguagepermutationproblemsrealizabilityregular
0
0 comments X
read the original abstract

We settle the equivalence between the problem of hitting a polyhedral set by the orbit of a linear map and the intersection of a regular language and a language of permutations of binary words (the permutation filter realizability problem). The decidability of the both problems is presently unknown and the first one is a straightforward generalization of the famous Skolem problem and the nonnegativity problem in the theory of linear recurrent sequences. To show a `borderline' status of the permutation filter realizability problem with respect to computability we present some decidable and undecidable problems closely related to it.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.