<F> ® ( <E> ) | a}.
<T>,<T> ® <F> } ,
R2 = { <E> ®
<E>+<T>, <T> ®
<T>*<F>, <F>® (<E>) | a }
Для каждого правила из R1 построим соответствующее подмножество.
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>*<F> | (<E>) | a,
<F> ®
(<E>) | a }
Последний вид рассматриваемых преобразований связан с удалением из
грамматики правил с пустой правой частью.
$ называется аннулирующим правилом. |
Пред.Страница
След.Страница Раздел Содержание