Trefoil knot automaton.