Slava's Monoid Zoo

Posted by luu 1 day ago

Counter17Comment3OpenOriginal

Comments

Comment by voidUpdate 20 minutes ago

> "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

Comment by Phemist 6 minutes ago

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

Comment by voidUpdate 3 minutes ago

Oh, I see. That makes sense