Pok-8-wyk-Slajd68

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Zbiór FIRST

Zbiór FIRST


Aby wprowadzić do tablicy LR pozostałe akcje musimy przypomnieć sobie definicję zbioru FIRST.

Zbiór FIRST(X), gdzie X jest dowolną sekwencją symboli tworzy się zgodnie z poniższymi regułami:

  • Jeśli X jest terminalem, to X należy do zbioru FIRST(X)
  • Jeśli X jest symbolem pustym to epsilon należy do zbioru FIRST(X)
  • Jeśli X jest nieterminalem i X->Y1Y2...Yn, to w należy do FIRST(X) jeśli istnieje takie i, że w należy do FIRST(Yi) a esilon jest we wszystkich FIRST(Y1)...FIRST(Yi-1)
  • Jeśli epsilon należy do FIRST(Yi) dla wszystkich i, to epsilon należy do FIRST(X)


<< Poprzedni slajd | Spis treści | Następny slajd >>