Differences

This shows you the differences between two versions of the page.

--- buzz_syntax_bnf [2016/04/17 03:08] – ilpincy
+++ buzz_syntax_bnf [2017/11/09 13:17] – [Grammar] root
@@ Line 1: / Line 1: @@
 ====== Buzz Syntax BNF Specification ======
-For an example-driven explanation of the Buzz syntax, see the [[buzz_syntax_cheatsheet|syntax cheatsheet]].
+For an example-driven explanation of the Buzz syntax, see the [[buzz_syntax_cheatsheet|syntax cheatsheet]]. In what follows, we report a formal [[https://en.wikipedia.org/wiki/Backus%E2%80%93Naur_Form|Backus-Naur Form grammar]] specification.
 ===== Tokens =====
@@ Line 59: / Line 58: @@
   conditionlist      ::= condition | conditionlist TOKLISTSEP condition
-  condition          ::= comparison | condition TOKANDOR comparison
+  condition          ::= comparison | condition TOKANDOR comparison | NOT condition
-  comparison         ::= TOKPAROPEN condition TOKPARCLOSE | NOT comparison | expression | expression TOKCMP expression
+  comparison         ::= expression | expression TOKCMP expression
   expression         ::= product | expression TOKADDSUB product
@@ Line 67: / Line 66: @@
   power              ::= operand powerrest
   powerrest          ::= <nil> | TOKPOW power
-  operand            ::= TOKNIL | TOKCONST | TOKSTRING | TOKPAROPEN expression TOKPARCLOSE | TOKADDSUB power | idref | lambda | tabledef
+  operand            ::= TOKNIL | TOKCONST | TOKSTRING | TOKPAROPEN condition TOKPARCLOSE | TOKADDSUB power | idref | lambda | tabledef
   command            ::= idref | idref assignment | TOKRETURN expression