13 Matching Annotations
  1. Mar 2022
    1. expression -> literal | binary | grouping literal -> NUMBER grouping -> "(" expression ")" binary -> expression operator expression operator -> "+" | "-" | "/" | " * " | "^"

      I think you should make another version of the "I eat meat" flowchart for an experession using this grammar

      it would really maximize use of the analogy you set up already

    2. not terminating

      I dont think the idea of termination has been introduced well enough to be used freely. Do you mean terminate the whole sentence?

      i also dont follow the use of "" to differentiate them

    3. A rule name is defined as a non-terminal because it’s not a final state. As in, it is not terminating. As in, it produces other things.A terminal is defines a final “state”. As in, it terminates. As in, it does not produce other things.

      I think you should introduce terminals and non-terminals separately, as against being interspersed with head-> body as a concept.

      I don't follow what is being explained with them

    4. A rule name is defined as a non-terminal because it’s not a final state. As in, it is not terminating. As in, it produces other things.A terminal is defines a final “state”. As in, it terminates. As in, it does not produce other things.

      perhaps continue to talk of a rule's "head" and not "name" (since they are supposedly the same thing).

      otherwise, it looks like you're talking about many new concepts

    1. As good mathematicians

      I think there's an interesting point to be made, perhaps as a footnote, that even people had to learn operator precedence algorithms (techniques like BODMAS etc), or less rigid methods like inferring precedence based on spacing: 1 + 3/4 vs 1+3 / 4. Overtime these became intuitive.

      With computers, however, we have to be as explicit as possible.

    2. is one of the smallest constants

      lmao I've really arrived; I got a mention in an ayo article.

      also... turns out there are also planck units (like planck length, time, etc) which are apparently the smallest possible units that can exist.

      ps: this is different from the actual constant