Пред.Страница   След.Страница   Раздел   Содержание

2.6 Исключение цепных правил.

R = {...,<A> ® <B>,...,<B> ® <C>, ... , <C> ® a<X> },

R' = {...,<A> ® a<X>,...},

<A> Ю< B> Ю <C> Ю a<X>

Г_{1. 9}:      R={<E> ®   <E> + <T> | <T>,
                  < T> ® < T> * <F> | <F>,
                   <F> ® ( <E> ) | a}.

R₁ = { <E> ® <T>,<T> ®   <F> } ,
R₂ = { <E> ® <E>+<T>, <T> ® <T>*<F>, <F>® (<E>) | a }

S(<E>) = { <E> ®< T>*<F>, <E> ® (<E>) | a },
S(<T>) = { <T> ® (<E>) | a}

R2 U S(<E>) U S(<T>) = { <E> ® --> <T>+<T> | <T>*<F> | (<E>) | a,

<T> ® <T>*<F> | (<E>) | a,
<F> ® (<E>) | a }