Reidemeister moves translated to the language of knot automata.