Формальные языки

заработать в интернете

Исключение леворекурсивных правил - часть 2


Следуя описанному способу, правила  <E> 

® <E> + <T> | <T> преобразуем в правила
<E>®

<T> | <T><E'> и  <E'>  ®

+<T> | +<T><E'> , а правила <T> ®

<T> * <F> | <F> преобразуем в правила <T> 

® <F> | <F><T'> и  <T'>  ® *<

F> | * <F><T'>.
В результате получаем грамматику Г'1. 9, имеющую схему:

            Г'1. 9 :          R'= { <E> ®

            < T>,

                  <E>  ®

                  <T><E'>,


                  < E'>® + <T>,


                  <E'> ® + <T><E'>,


                  <T>  ®

                  <F>,


                  <T>  ®

                  <F><T'>,


                  <T'> ® * <F>,


                  <T'> ® * <F><T'>,


                  < F> ® a,


                   <F> ®

                  (<E>) },


                   

не содержащую леворекурсивных правил.

  • Пред.Страница 

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


  •  




    - Начало -  - Назад -  - Вперед -