2) for p = q1: e-closure(q1) = {q1}
A. q1d ® q’; d Î S; q’ Î Q: q1b ® q1, q1b ® f
R’ = R’ È {q1b ® q1, q1b ® f}
3) for p = q2: e-closure(q2) = {q2}
A. q2d ® q’; d Î S; q’ Î Q: q2c ® q2, q2c ® f
R’ = R’ È {q2c ® q2, q2c ® f}
4) for p = f: e-closure(f) = {f}
A. fd ® q’; d Î S; q’ Î Q:  fa ® f
R’ = R’ È {fa ® f}
R’ = {sa ® s, sb ® q1, sb ® f, sc ® q2, sc ® f,
q1b ® q1, q1b ® f, q2c ® q2, q2c ® f , fa ® f}
FA to e-free FA: Example 2/3
12/44