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



Исключение леворекурсивных правил - часть 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>) },


         

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

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

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


       




      Содержание  Назад  Вперед