Discussion

⟨🍎🍌🐈🐶🐘 | Slava's Monoid Zoo | 🐘🐶🐈🍌🍎⟩

entaloneralie: Too scared to leave the comfy world of commutative monoids.

voidUpdate: > "Can you see a way to transform a string of 8 apples "" into a string of 10 apples ""?"Am I missing something? The only rules we have are BAB -> AAA and BBB -> BB, and we start with only A, no B, so neither of those rules can be used, so the answer is no?EDIT: Ah, looks like you cant put emoji in HN comments. Imagine there's apples in there

Phemist: The relations are bi-directional. So you can change AAA -> BAB and BB -> BBB as well.

dhosek: Yeah, that was the secret sauce that left me a bit confused