The Epistemological Problem for Automata