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

2.4  Определения бесполезных символов.

Бесполезный символ грамматики можно определить следующим образом:

 Г_{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  }.

R" = {<I>®ac  }.