Tree-Walking Automata Cannot Be Determinized.

Mikolaj Bojanczyk, Thomas Colcombet

Browse the full ICALP paper archive.