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


Грамматика для описаний


    Пусть требуется построить грамматику для описания целых и вещественных переменных. Описание переменных определенного типа должно начинаться указателем типа 'real' или 'int'.

    В полном тексте описания описания переменных определенного типа могут повторяться. Например, полное описание может включать три разных описания переменных целого типа. Полное описание должно заканчиваться точкой. В качестве разделителя описаний переменных разных типов примем точку с запятой, а в качестве разделителя переменных одного типа - запятую. Структуру полного описания можно представить в виде двух вложенных списков с разделителями. Внутренний список, рассматриваемый как элемент внешнего списка, представляет собой описание переменных одного типа. Он имеет заголовок в виде указателя типа, за которым следует последовательность идентификаторов, разделенных запятыми. Внешний список использует в качестве разделителя точку с запятой. Схема грамматики рассматриваемого вида может быть записана так:

       

          Г1. 26 :    R = { <Z> ® <A2>,

            <A2> ® 

            <B1><C1>,


            <C1> ® ;<B1><C1>,


            <C1> ® $,


            <B1> ® 'real'<L>,


            <B1> ® 'int'<L>,


            <L> ® <I><K>,


            <K> ® ,<I><K>,


            <K> ® $ }

           

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



      Содержание раздела