私はこのLLためSLR(1)解析テーブルを生成するthis toolを使用する(1)/ LR(XMLの小さなサブセットを生成)(1)文法:文法SLR(1)ですか?
document ::= element EOF
element ::= < elementPrefix
elementPrefix ::= NAME attribute elementSuffix
attribute ::= NAME = STRING attribute
attribute ::= EPSILON
elementSuffix ::= > elementOrData endTag
elementSuffix ::= />
elementOrData ::= < elementPrefix elementOrData
elementOrData ::= DATA elementOrData
elementOrData ::= EPSILON
endTag ::= </ NAME >
ツールが正しくテーブルを生成しその文法はSLR(1)であることを示唆している。それは事実ですか?私はすべてのLR(0)文法もSLR(1)であると理解していますが、LL(1)/ LR(1)文法にどのように関連するのかよくわかりませんでした。
このツール(http://zaa.ch/jison/try/usf/)を使用して、文法がSLRにあるかどうかを確認できます。 – cagryInside