Synchronized finite automata and 2DFA reductions
scientific article; zbMATH DE number 404984