算术表达式的第一个和跟随集

我想知道我为这个语法做的FIRST和FOLLOW设置是否正确

S -> TS'
S' -> +TS' | -TS' | epsilon
T -> UT'
T' -> *UT' | /UT' | epsilon
U -> VX
X -> ^U | epsilon
V -> (W) | -W | W | epsilon
W -> S | number 

FIRST(S) = FIRST(T) = FIRST(U) = FIRST(V) = FIRST(W) = { ( , - , + , number ,     epsilon } 
FIRST(T') = { *, / , epsilon} 
FIRST(S') = { + , - , epsilon}
FIRST(X) = { ^ , epsilon}

FOLLOW(S) = FOLLOW(S') = FOLLOW(V) = {$}
FOLLOW(T) = {+ , - , $ }
FOLLOW(T')= {+, - , $ }
FOLLOW(U) = FOLLOW(X) = { * , / , + , - ,$ }
FOLLOW(W) = { ) , $ }

Toon Krijthe.. 5

只是一句话:

你说:

FIRST(U) = FIRST(V) 

这是正确的,但是,V可以是epsilon,这意味着FIRST(U)= FIRST(V)+ FIRST(X)

X可以是epsilon.

那些epsilons有时会非常令人沮丧.

还有一点要说.只是一些规则: - 资本是非终结的 - 小写是终端 - epsilon用于空规则 - $用于记录输入的结尾.

第一个(a)= {a}

首先(A,B)=第一个(A),如果epsilon不在第一个(A)

首先(A,B)=第一个(A)+第一个(B),如果第一个(A)中的epsilon

首先(A | B)=第一(A)+第一(B)

如果T是起始符号,则跟随(T)包括$

跟随(T)包括第一个(A)如果有一个规则与..TA ..

如果有规则A - > ..T,则跟随(T)包括跟随(A)

跟随(T)包括跟随(A)如果有规则A - > .. TB和B可以是epsilon

跟随(T)永远不包括epsilon

例:

E  = TE'
E' = +TE'|epsilon
T  = FT'
T' = *FT' | epsilon
F = (E) | id

First(E)   = First(T) = First(F) = {(, id}
First(E')  = {+, epsilon}
First(T)   = First(F) = {(, id}
First(T')  = {*, epsilon}
First(F)   = {(, id}

Follow(E)  = {$, )}
Follow(E') = Follow(E) = {$, )}
Follow(T)  = First(E') + Follow(E') = {$, ), +}
Follow(T') = Follow(T) = {$, ), +}
Follow(F)  = First(T') + Follow(T') + Follow(T) = {*, $, ), +}

你的语法要复杂得多,有点怪异(你确定语法中没有错误吗？)但是你可以遵守规则.

只是一句话:

你说:

FIRST(U) = FIRST(V) 

这是正确的,但是,V可以是epsilon,这意味着FIRST(U)= FIRST(V)+ FIRST(X)

X可以是epsilon.

那些epsilons有时会非常令人沮丧.

还有一点要说.只是一些规则: - 资本是非终结的 - 小写是终端 - epsilon用于空规则 - $用于记录输入的结尾.

第一个(a)= {a}

首先(A,B)=第一个(A),如果epsilon不在第一个(A)

首先(A,B)=第一个(A)+第一个(B),如果第一个(A)中的epsilon

首先(A | B)=第一(A)+第一(B)

如果T是起始符号,则跟随(T)包括$

跟随(T)包括第一个(A)如果有一个规则与..TA ..

如果有规则A - > ..T,则跟随(T)包括跟随(A)

跟随(T)包括跟随(A)如果有规则A - > .. TB和B可以是epsilon

跟随(T)永远不包括epsilon

例:

E  = TE'
E' = +TE'|epsilon
T  = FT'
T' = *FT' | epsilon
F = (E) | id

First(E)   = First(T) = First(F) = {(, id}
First(E')  = {+, epsilon}
First(T)   = First(F) = {(, id}
First(T')  = {*, epsilon}
First(F)   = {(, id}

Follow(E)  = {$, )}
Follow(E') = Follow(E) = {$, )}
Follow(T)  = First(E') + Follow(E') = {$, ), +}
Follow(T') = Follow(T) = {$, ), +}
Follow(F)  = First(T') + Follow(T') + Follow(T) = {*, $, ), +}

你的语法要复杂得多,有点怪异(你确定语法中没有错误吗？)但是你可以遵守规则.