Parsing Table Construction

for each production p = (A::=a) {

for each terminal a in FIRST(a), add p to M[A,a];

if e is in FIRST(a)

for each terminal b (including $) in FOLLOW(A)

add p to M[A,b];

}