3 ms·
concatenation is associative while subtraction is left-associative. you're getting yourself in trouble defining subtraction in that way.
by waynesonfire 7y ago
concatenation is associative while subtraction is left-associative. you're getting yourself in trouble defining subtraction in that way.
- a1369209993 7y ago> concatenation is associative while subtraction is left-associative Yes, exactly my point: `sum ::= term '-' sum` is right-associative, and therefore not a correct syntax for subtraction. Similarly, place-value notation[0] is left-associative, so `nat ::= digit | digit nat`, which is right-associative, is not a valid grammer for a place-value-notation natural number. 0: well, big-endian place-value notation, which is what we're talking about here