Title: A simple proof of a theorem on self-synchronizing automata
Subjects: Machine theory, Robotics