Pok-8-wyk-Slajd68
Z Studia Informatyczne
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)
