|
||||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |
true
) las entradas correspondientes a pares de estados
equivalentes.
i=1..N
,
sea N(i,1)={A / A->w(i,1) }
i=1..N
,
sea N(i,1)={A / A->w(i,1) }
i=1..N
,
sea N(i,1)={A / A->w(i,1) }
k=1..j-1
,
anhadir a N(i,j) todos los no terminales A para los cuales A->BC
es una regla de P, con B perteneciente a N(i,k) y C
perteneciente a N(i+k,j-k)
k=1..j-1
,
anhadir a N(i,j) todos los no terminales A para los cuales A->BC
es una regla de P, con B perteneciente a N(i,k) y C
perteneciente a N(i+k,j-k)
k=1..j-1
,
anhadir a N(i,j) todos los no terminales A para los cuales A->BC
es una regla de P, con B perteneciente a N(i,k) y C
perteneciente a N(i+k,j-k)
XX'
del segundo simbolo de la parte derecha (i.e. del C
en una regla A->BC; en las reglas A->a sera 0)
YY'
del segundo simbolo de la parte derecha (i.e. del C
en una regla A->BC; en las reglas A->a sera 0)
|
||||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |