• Rin@lemm.eedeleted by creator
    link
    fedilink
    arrow-up
    2
    ·
    2 years ago

    You can have states point to each other in a loop, no?

    • NateNate60@lemmy.worldOP
      link
      fedilink
      arrow-up
      6
      ·
      2 years ago

      If the set of all strings of composite length is a regular language, you can use that to prove the set of all strings of prime length are also a regular language.

      But it’s also easy to prove that the set of language of strings of prime length is not regular, and thus the language of strings of composite length also can’t be regular.

      A more formal proof.

      • Rin@lemm.eedeleted by creator
        link
        fedilink
        arrow-up
        1
        ·
        2 years ago

        Thank you for this. I’ll review this when I can.

    • CanadaPlus@lemmy.sdf.org
      link
      fedilink
      arrow-up
      3
      ·
      edit-2
      2 years ago

      Yeah, but in an FSM all you have are states. To do it the obvious way, you need a loop with separate branches for every number greater than 2, or at the very least every prime number, and that’s not going to be finite.