Wikimedia Commons has media related to Automata theory.

This category is concerned with the formal definitions of finite-state machines in theoretical computer science, and the various generalizations thereof.