DerivesToLambda
DerivesToLambda(S) False
DerivesToLambda(A) True
DerivesToLambda(B) False
DerivesToLambda(C) False
DerivesToLambda(E) False
DerivesToLambda(F) True

First(1)
First(m,1) m
First(n,1) n
First(o,1) o
First(p,1) p
First(s,1) s
First(t,1) t
First(z,1) z
First(S,1) m  s  t  z
First(A,1) s  t  z
First(B,1) m
First(C,1) m  s  t  z
First(E,1) s  t
First(F,1) z

Follow(1)
Follow(S,1) 
Follow(A,1) m  z
Follow(B,1) m  s  t  z
Follow(C,1) $
Follow(E,1) m  z
Follow(F,1) m  z

