Теория формальных языков, грамматик и автоматов. Ишакова Е.Н. - 37 стр.

      Разработать программное средство, автоматизирующее процесс разбора
цепочек для LL(1)-грамматик. Программное средство должно выполнять сле-
дующие функции:
      1) реализация ввода произвольной КС-грамматики;
      2) построение множеств FIRST(1, A) и FOLLOW(1, A) для каждого нетер-
минального символа грамматики;
      3) проверка необходимого и достаточного условия LL(1) для введенной
КС-грамматики;
      4) моделирование функционирования распознавателя для LL(1)-
грамматик.
      Составить набор контрольных примеров для случаев:
      а) введенная КС-грамматика не является LL(1)-грамматикой;
      б) исходная КС-грамматика является LL(1)-грамматикой, но входная
строка не принадлежит языку грамматики;
      в) заданная КС-грамматика является LL(1)-грамматикой и введенная стро-
ка принадлежит языку грамматики.
      Разбор цепочек показать с помощью таблицы, строки вывода и дерева
вывода. Вариантами индивидуальных заданий к лабораторной работе № 6 яв-
ляются выходные данные лабораторной работы № 4.
                                          S
                          T                           R

                                                          ε
                  (       S           )


                      T           R


                  a       +           T           R
                                                          ε

                          (           S           )



                              T               R


                      b               -           T       R



                                                  a           ε

     Рисунок 6.1 – Дерево вывода для цепочки (a+(b-a)) в грамматике G




                                                                          37