Slava's Monoid Zoo

2 comments

• voidUpdate 2 hours 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

  [-]
  • Phemist 2 hours ago
    The relations are bi-directional. So you can change AAA -> BAB and BB -> BBB as well.
    [-]
    • dhosek 40 minutes ago
      Yeah, that was the secret sauce that left me a bit confused
    • voidUpdate 2 hours ago
      Oh, I see. That makes sense
• entaloneralie 1 hour ago
  I'm too scared to leave the comfy world of commutative monoids.
  [-]
  • Sesse__ 0 minutes ago
    Is the word problem easier if the monoids are commutative? (Or even trivial? I haven't thought deeply about it.)