An abstract knot finite state machine · HackerTrans