我的任务是计算FIRST和FOLLOW集以下语法： P ::= S CS .
S ::= (int , int)
CS ::= C CS | epsilon
C ::= left int | right int | low C
我得到了以下第一组： FIRST(S) = {'('}
FIRST(C) = {left,right,low}
FIRST(CS) = {left,right
P → PL | L
L → N; | M; | C
N → print E
M → print "W"
W → TW | ε
C → if E {P} | if E {P} else {P}
E → (EOE) | V (note: this has a variable O)
O → + | - | *
V → 0 | 1 | 2 | 3 (note: this has a t
我相信读它的每个人都熟悉其他模糊不清的问题。所以我会跳过解释。 我在一本编译器书（dragon book）上找到了代表IF和ELSE的不含糊语法。这里是。 stmt->matched_stmt | open_stmt
matched_stmt->if exp then matched_stmt else matched_stmt | other
open_stmt->if exp then s
我想写一个语法分析器，目前有一个LL语法（在Antlr中）下面的产品，我试图解析一个或多个（数字或字符串）是分离的由一个“＃”即是正确的联想。我该如何修改这些作品，以便它可以解析由“＃”分隔的一个或多个字符串，而不仅仅是一个？对于这个语法语言 A ::= B
| Number
| String
B ::= C "->" A
C ::= Number
| Str
我对这本教科书很难接受，而且我的教授认为回答问题对已经知道进入课堂的材料的学生是不公平的（从这个人获得的反馈是一个数据挖掘过程本身）。无论如何，我的问题围绕着CFG（正式语言/函数式编程类）的派生。 Given a context free grammar that looks like:
S-> a|B
B-> b|C
C-> c
找到最左边的推导。是简单的吗？因为S-> a是S->
我目前正在为C-编译一个编译器。我目前正在研究解析器，出于某种原因，我似乎无法解决EXPRESSION生产中第一次碰撞（终端ID）的问题。下面，是我现在语法的一个子集，是否有人能指出我如何解决冲突（或转换为等价的LL（1）可解析语法）的正确方向。 EXPRESSION -> id VAR eq EXPRESSION | SIMPLEEXPRESSION
VAR -> lbracket EXPR