Prehod: Torej bi moral analizator uporabiti pravilo A → w, če je ε v Fi ((w) in vidi na vhodnem toku simbol, ki bi lahko sledil A. Zato potrebujemo tudi sledilni nabor A, napisan kot Fo ((A) tukaj, ki je opredeljen kot nabor terminalov a, tako da obstaja niz simbolov αAaβ, ki ga je mogoče izpeljati iz začetnega simbola.
kot poseben terminal, ki označuje konec vhodnega toka