Ist diese Grammatik SLR (1)?

I verwendet this tool die SLR (1) Parsing-Tabelle für diese LL (1)/LR (1) Grammatik (die eine kleine Teilmenge von XML erzeugt) zu erzeugen:Ist diese Grammatik 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 >

das Werkzeug korrekt erzeugt die Tabelle und assoziierter Automat, der vorschlägt, dass die Grammatik SLR (1) ist. Ist das wirklich so? Ich verstehe, dass jede LR (0) Grammatik auch SLR (1) ist, aber ich war mir nicht sicher, wie das mit LL (1)/LR (1) Grammatiken zusammenhängt.

Quelle

2016-10-29 Fiery Phoenix

Sie können dieses Tool verwenden (http://zaa.ch/jison/try/usf/), um zu sehen, ob Ihre Grammatik in SLR ist. – cagryInside

LL (1) und SLR (1) sind beide Teilmengen von LR (1). Sie haben keine einfache Beziehung zueinander.

Quelle

2016-10-30 00:11:25 rici

Also, wenn eine Grammatik LR (1) ist, muss es unbedingt SLR (1) sein? –

Nein, ich sagte, dass SLR (1) eine Teilmenge von LR (1) ist. Es ist in der Tat eine richtige Teilmenge. – rici

Ist diese Grammatik SLR (1)?

Antwort

Verwandte Themen