def folgeZustand_LR(symbol,uebergang,grammatik)
tmpit = nil
parser = ParserRelation.new(grammatik)
print "."
folge=Zustand.new(nil)
uebergang.each{ |u|
folge=u.folgeZustand?(self,symbol) if u.folgeZustand?(self,symbol)!=nil
}
if folge !=nil
folge=folge.copy
folge.each{|item|
temp_item_geschalten = self.get_schalt_It(item,symbol)
if temp_item_geschalten != nil
then
item.setRechts!(temp_item_geschalten.getRechtskontext().copy())
else item.setRechts!(Menge.new([]))
end
}
tmpfolge=Zustand.new(nil)
while tmpfolge!=folge do
tmpfolge=folge.copy
folge.each{|item|
if item.isEpsUebergang(grammatik) then
folge.each{|it|
if it.ist_start_von(item.naechstesZeichen) then
it.setRechts!(parser.FIRST(item.naechsterRest, item.getRechtskontext)+it.getRechtskontext)
end
}
end
}
end
end
return folge if folge!=Zustand.new(nil)
return nil
end