Store Languages of Turing Machines and Counter Machines

Noah Friesen, Oscar H. Ibarra, Jozef Jirásek +1

The store language of an automaton is the set of store configurations (state and store contents, but not the input) that can appear as an intermediate step in an accepting computat…