Recuerdo que cuando estaba en la escuela de posgrado, había un sitio web con un juego interactivo genial, en el que se te daban ciertas "reglas" (como 'abac=1'), y luego tenías que reducir una palabra dada a la identidad usando esas reglas. Recuerdo que llevaba la cuenta de cuántos movimientos hacías, y te decía si lo hacías en el número óptimo de movimientos o no. No recuerdo si decía explícitamente que estabas haciendo teoría de grupos o no. Recuerdo que la página del Seminario de Teoría de Grupos de Nueva York tenía un enlace a él, pero ese sitio parece estar muerto ahora.
¿Alguien sabe de qué estoy hablando / tiene un enlace?