Does a rock implement every finite-state automaton? · Study