Why Pebbles?
Finite Automata can
NOT
search a maze!
[Budach1978]
FA with
two pebbles
CAN
search a maze!
[Blum/Kozen1978]
Applications: Robot Navigation in unknown terrains etc.
