// syntactic grammar
// mini-scheme
// Puyan Lotfi
// 2010

root            -> statement_list                               ;

statement_list  -> statement                                    |
                   statement statement_list                     ;

statement       -> expression_list                              |
                   binding                                      |
                   lambda                                       ;

expression_list -> expression                                   |
                   expression expression_list                   ;

expression      -> call                                         |
                   number                                       |
                   string                                       |
                   ‘(‘ expression ‘)’                           ;

call            -> lambda expression_list                       |
                   name   expression_list                       |
                   name                                         ;

binding         -> ‘(‘ ‘define’ name expression ‘)’             ;

lambda          -> ‘(‘ ‘lambda’ ‘(‘ namelist ‘)’ expression ‘)’ ;

namelist        -> name                                         |
                   name namelist                                ;