Tree-walking automata do not recognize all regular languages.

Mikolaj Bojanczyk, Thomas Colcombet

Browse the full STOC paper archive.