Converting nondeterministic two-way automata into small deterministic linear-time machines

Bruno Guillon, Giovanni Pighizzini, Luca Prigioniero, Daniel Prusa. Converting nondeterministic two-way automata into small deterministic linear-time machines. Inf. Comput., 289(Part):104938, 2022. [doi]

Abstract

Abstract is missing.