Thinking outside the box is useless NFA = FNFA

Maxence Ponsardin, Ville Salo

We study picture-walking automata, namely finite-state automata that accept higher-dimensional parallelotope-/tensor-shaped pictures and are allowed to move in all directions depen…