Talk:Compiler/Verifying syntax: Difference between revisions
→Incorrect BNF
| (3 intermediate revisions by 2 users not shown) | |||
Line 14:
::Presumably the "not" applies to the relation as a whole, so "not a = b" means "not ( a = b )" and not "( not a ) = b". --[[User:Tigerofdarkness|Tigerofdarkness]] ([[User talk:Tigerofdarkness|talk]]) 22:01, 5 January 2020 (UTC)
:::Not sure, I would say that is undefined. Putting "not" in a separate rule would give it an unambiguous precedence. --[[User:Petelomax|Pete Lomax]] ([[User talk:Petelomax|talk]]) 23:44, 6 January 2020 (UTC)
Note the square brackets [] around the [('=' | '<') expr_level_5]. This means that the expression
Line 30 ⟶ 32:
:That should be part of the task spec. --[[User:Petelomax|Pete Lomax]] ([[User talk:Petelomax|talk]]) 14:14, 4 January 2020 (UTC)
Would it not be better if the EBNF included explicit placement of whitespace characters? As it stands, it seems to me one is left to one's own opinion as to where whitespace is allowed or required. (A separate lexical analysis stage would alleviate this difficulty, but we already have separated lex and parse tasks.) --[[User:Chemoelectric|Chemoelectric]] ([[User talk:Chemoelectric|talk]]) 18:40, 15 October 2022 (UTC)
| |||