CONJUNTO PRIMERO Y CONJUNTO SIGUIENTE

CONJUNTO PRIMERO Y CONJUNTO SIGUIENTE

1. E => TE’

Primero (E)        =>    Primero (TE’)

•  Primero (T)
•  Primero (FT’)
•  Primero(F)
•  Primero((E)) U Primero (a)
•  Primero (() U {a})
•  {(} U {a}
•  {(, a}

M [ E, (] => Regla 1

M [ E, a] => Regla 1      

1. T => FT’

Primero (T)        =>   Primero (FT’)

• Primero (F)
• Primero ((E)) U Primero (a)
• Primero (() U {a}
• {(} U {a}
• {(, a}

M [ T, (] => Regla 2

M [ T, a] => Regla 2

1. F => E

Primero (T)        =>  

• Primero ((E))
• Primero (()
• {(}

M [ F, (] => Regla 3

1. F => a

Primero (F)        =>  Primero (a)

• {a}

M [ F, a]  => Regla 4

1. E’ => +TE’

Primero(E’)        =>  Primero(+TE’)

• Primero (+)
• {+}

M [ E’, +] => Regla 5

1. E’ =>  e

Primero(E’)        =>  Primero (e)

• {$,)} (SIGUIENTES)

M [ E’, $] => Regla 6

M [E’,)]  => Regla 6

1. T’ => *FT’

Primero(T’)        =>  Primero(*FT’)

• Primero (*)
• {*}

M [ T’, *] => Regla 7

1. T’ => e

Primero(T’)        =>  Primero (e)

• {+, $,)} (SIGUIENTES)

M [ T’, +] => Regla 8

M [T’, $]  => Regla 8[pic 1]

M [T’,)]  => Regla 8

SIGUIENTES

1. Siguiente (E)         =>        {$,)}
2. Siguiente (E’)        =>        {$,)}
3. Siguiente (T)        =>        {+, $,)}
4. Siguiente (T’)        =>        {+, $.)} 
5. Siguiente (F)        =>        {*, +, $.)}

[pic 2]

...