0

私はこの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)文法にどのように関連するのかよくわかりませんでした。

+0

このツール(http://zaa.ch/jison/try/usf/)を使用して、文法がSLRにあるかどうかを確認できます。 – cagryInside

答えて

1

LL(1)とSLR(1)は両方ともLR(1)のサブセットです。彼らはお互いに単純な関係はありません。

+0

文法がLR(1)なら、それは必ずSLR(1)でなければなりませんか? –

+1

いいえ、SLR(1)はLR(1)のサブセットではありません。それは実際には適切なサブセットです。 – rici

関連する問題