A note on the reduction of two-way automata to one-way automata
We describe a new elementary reduction of two-way automata to one-way automata. The reduction is based on the subset construction rather than on crossing sequence analysis.
scientific article; zbMATH DE number 4088939