logic.grammar.svn-base

来自「这是一个DFA简化和生成LL(1)分析表的程序,自动生成表格及图形」· SVN-BASE 代码 · 共 24 行

root: expression eof { $item[1] ? 'T' : 'F' }

eof: /^\Z/

expression: and_expr 'OR' expression
                { $item[1] || $item[3] }
          | and_expr

and_expr:   not_expr 'AND' and_expr
                { $item[1] && $item[3] }
        |   not_expr

not_expr:   'NOT' brack_expr
                { ! $item[2] }
        |   brack_expr

brack_expr: '(' expression ')'
                { $item[2] }
          | atom

atom: 'T' { 1 }
    | 'F' { 0 }