Explore - The full tieknots language

Author

Mikael Vejdemo-Johansson

Explore the Fink-Mao tie-tying grammar

The grammar that encodes the original 85 tie-knots enumerated by Fink and Mao is:

[tie] ::= L [L_]
[L_] ::= R [R_] | C [C_] | RCU
[R_] ::= L [L_] | C [C_] | LCU
[C_] ::= R [R_] | L [L_]

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.