Определения бесполезных символов
Бесполезный символ грамматики можно определить следующим образом:
в |
- Исключить бесполезные символы из грамматики можно удаляя правила, содержащие вначале непроизводящие, а затем недостижимые символы. В качестве иллюстрации применения приведенных правил выполним преобразование следующей грамматики:
- Г2. 2 : R = {<I>®ac,
- <I>® b<A>,
<A>® c<B><C>,
<B>® a<I><A>,
<C>® bc,
<C>® d }.
Вначале находим, что <А> и <В> являются непроизводящими символами и, исключая правила с непроизводящими символами , получаем:
- R' = {<I>®ac,
<C>® bc,
<C>® d }.
В полученной схеме символ <C> является недостижимым символом. Исключая правила, содержащие этот символ, получаем:
- R" = {<I>®ac }.
|
- В дальнейшем изложении рассматриваются только
приведенные КС-грамматики. Другие виды преобразований грамматик, описываемые ниже, предназначены для исключения правил определенного вида из схемы грамматики.
Пред.Страница
След.Страница Раздел Содержание