A Two-Way Automaton with Fewer States than Any Equivalent One-Way Automaton | IEEE Journals & Magazine | IEEE Xplore