Oznacza to, że dla każdej pary produkcji dla jednego symbolu nieterminalnego Z i nie da się wyprowadzić tego samego symbolu terminalnego Nie można jednocześnie wyprowadzić ciągu pustego z i Jeżeli z da się wyprowadzić ciąg pusty, wówczas z nie można wyprowadzić żadnego ciągu zaczynającego się od terminala należącego FOLLOW(A). Analogicznie w drugą stronę, gdy z da się wyprowadzić ciąg pusty. Te warunki są równoważne i muszą być zbiorami rozłącznymi jeśli wtedy i muszą być zbiorami rozłącznymi i analogicznie gdy wtedy i muszą być zbiorami rozłącznymi
Transformacja do LL(1) Aby gramatyka dała się przekształcić do LL(1) musi być jednoznaczna, jednak nie każda jednoznaczna da się przekształcić. Mamy dwie transformacje, które dają szansę, że dostaniemy gramatykę LL(1): eliminacja lewostronnej rekursji lewostronna faktoryzacja
Eliminacja lewostronnej rekursji Mamy Wyrażenie → Wyrażenie '+' liczba Wyrażenie → liczba Lewostronną rekurencję da się przepisać jako prawostronną:
...
...
przepisujemy na
...
...
Lewostronna faktoryzacja Mamy Expr number '+' Expr Expr number Patrzymy ile pierwszych symboli (terminalnych i nieterminalnych) jest identycznych. Tu mamy tylko jeden symbol – number.