Parsing 这是匹配括号LL(1)的语法吗?

Parsing 这是匹配括号LL(1)的语法吗?,parsing,compiler-construction,programming-languages,context-free-grammar,ll,Parsing,Compiler Construction,Programming Languages,Context Free Grammar,Ll,语法是这样的: S->e(ε) S->TS T->(S) 我认为它确实是LL(1),我的理由是,对于一个语法为LL(1),对于每个具有多个产生式规则的非终结符,规则的控制器符号集必须是不相交的,因此在这种情况下: DS(S->e)= 第一个(S->e)U跟随(S->e)={} 以及 DS(S->TS)=第一个(S->TS)={(} 由于{}和{(}是不相交的,因此语法是LL(1) 我的理由正确吗?是的,这个语法是LL(1)。注意 第一(S)={ε,(} 跟随=,$} 第一(T)={(} 因此,解

语法是这样的:

S->e(ε)

S->TS

T->(S)

我认为它确实是LL(1),我的理由是,对于一个语法为LL(1),对于每个具有多个产生式规则的非终结符,规则的控制器符号集必须是不相交的,因此在这种情况下:

DS(S->e)=

第一个(S->e)U跟随(S->e)={}

以及

DS(S->TS)=第一个(S->TS)={(}

由于
{}
{(}
是不相交的,因此语法是LL(1)

我的理由正确吗?

是的,这个语法是LL(1)。注意

第一(S)={ε,(}

跟随=,$}

第一(T)={(}

因此,解析表是

    (     )     $
S   TS    e     e
T   (S)
因为这里没有冲突,所以语法是LL(1)

希望这有帮助