image transcription:

an image incorporating two famous memes. on top is the title “learning about Σ* in theory of computation.”

in the centre is a close-up of Chad face – often used when talking about sigma males – cropped in a five-pointed star shape.

below are two soyjaks pointing towards the aforementioned Chad face. those soyjaks are labeled “me” and “my brain”.

  • TheyCallMeHacked
    link
    fedilink
    arrow-up
    7
    ·
    7 months ago

    It’s funny, I never associated formal languages as part of the theory of computation. We only learnt about them from the perspective of automata/state machine theory

    • Kogasa@programming.dev
      link
      fedilink
      arrow-up
      8
      ·
      edit-2
      7 months ago

      Automata and formal languages were pretty much my entire “Theory of Computation” class. It’s what’s in Sipser.

    • Mars@beehaw.org
      link
      fedilink
      English
      arrow-up
      2
      ·
      7 months ago

      Didn’t you go into Turing machines and the Halting problem from that?

      That was my intro into computation: regex, automatas, state machines, stack state machines, formal languages, grammars, Turing machines, Hanting Problem, P NP.

      • TheyCallMeHacked
        link
        fedilink
        arrow-up
        2
        ·
        7 months ago

        No, we went Automata, Finite State Machines, regex, grammars, set-theoretical and other mathematical formalisms