Does a rock implement every finite-state automaton? — latest news, discussion & facts — IJR