Informatyka UJ forum

kg86

nie kumam jednej rzeczy, skoro ogolna metoda wyznaczania first jest taka:
first(alfa) = a, jesli alfa = a(beta)
first(alfa) = first(alfa_1) u ... u first(alfa_n), jesli alfa = A(beta) oraz A -> alfa_1 | ... | alfa_n

to dlaczego przy gramatyce:
S -> SA | epsilon (*)
A -> a

first(SA) = first(A) ? :>
SA = S(beta) wiec first(SA) = first(SA) u first(epsilon) ze wzlgedu na (*)
czy w przypadku lewej rekurencji jest jakas inna metoda obliczania?

Pawel Str.

Istnieje przejście S-> epsilon, zatem należy poszukać również w follow(S);
ew. można po prostu rozszerzyć drugą regułę dodając:
u first(beta) jeżeli alfa -> X beta i istnieje wywód X -> empty

Witamy w pięknym świecie przypadków brzegowych.

kg86

dzieki :) domyslalem sie, ze w ten sposob nalezy to rozpatrzac, tylko zastanawialem sie czemu dr Rosek nie umiescil tego przypadku w swoich wykladach :P

Robson

bo sie widac rąbnął... albo testuje kto chodzi na wykłady... ;)

cheater_

ja chodzę i nie mam pojęcia kiedy o tym mówił :P