Explore the Singly Tucked tie-tying grammar

The grammar that encodes the 24,882 singly-tucked tie-knots enumerated by Hirsch, Markström, Patterson, Sandberg and Vejdemo-Johansson is:

    [tie] ::= L [L_] | LR [R_] | LC [C_]
    [L_] ::= RL [L_] | CL [L_] | RC [C_] | RCU [C_] | RCU | CR [R_] | CRU [R_] | CRU
    [R_] ::= LR [R_] | CR [R_] | LC [C_] | LCU [C_] | LCU | CL [L_] | CLU [L_] | CLU
    [C_] ::= LC [C_] | RC [C_] | LR [R_] | LRU [R_] | LRU | RL [L_] | RLU [L_] | RLU

To start: choose by clicking the pale blue grammar symbol below to build a tieknot. The knot sequence will emerge to the left of the clickable symbol.