Navigating Automata Without a Map