Опубликован: 19.03.2004 | Уровень: специалист | Доступ: платный
Лекция 13:

Функции высших порядков

< Лекция 12 || Лекция 13: 123 || Лекция 14 >

Преобразование определений

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

Пусть свертки   системы текстов представлены в стиле самоописания подобно формам Бекуса-Наура списком вида:

( (Тексты (Имя Вариант ...)...) 
      ; первое имя — обозначение системы текстов
      ; за ним следуют варианты поименованных текстов
   (Вариант Элемент ...) 
      ; Вариант представляет собой 
      ; последовательность Элементов
   (Элемент Имя Лексема (Варианты)) 
      ; Элемент — это или Имя, или Лексема, 
      ; или Варианты в скобках
)

Для системы текстов "((м а ш и н а)(м а ш а)(ш и н а))" можно дать свертку вида:

( (пример (ма ((ш н)
                      (ш а))
                     ( ш н ) )
   (н ина) 
)

Построение свертки   системы текстов выполняется функциями unic, ass-all, swin, gram, bnf:

(DEFUN unic (vac) (remove-duplicates (mapcar 'CAR vac) ))
;; список уникальных начал
 
(DEFUN ass-all (Key Vac)
;; список всех вариантов продолжения 
;; что может идти за ключом
   (COND
     ((Null Vac) NIL)
     ((EQ (caar Vac) Key) (CONS (cdar Vac)
                                (ass-all Key (CDR Vac)) ))
     (T (ass-all Key (CDR Vac)) )
) )
 
(DEFUN swin (key varl) (COND
;; очередной шаг свертки или снять скобки при
;; отсутствии вариантов
   ((null (CDR varl))(CONS key (CAR varl)))
   (T (list key (gram varl)) )
))
 
(DEFUN gram (ltext) 
;; левая свертка, если нашлись общие начала
   ( (LAMBDA (lt) (COND
      ((EQ (length lt)(length ltext)) ltext)
      (T (mapcar
         #'(LAMBDA (k) (swin k (ass-all k ltext )
               ))
            lt ) 
   ) ) ) (unic ltext) 
) )
 
(DEFUN bnf (main ltext binds) (CONS (CONS main
                                         (gram ltext)) binds))

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

Построение развертки, т.е. системы текстов по их свернутому представлению, выполняется функциями names, words, lexs, d-lex, d-names, h-all, all-t, pred, sb-nm, chain, level1, lang .

Функции names, words и lexs задают алфавит и разбивают его на терминальные и нетерминальные символы на основе анализа их позиций в определении.

(DEFUN names (vac) (mapcar 'CAR vac))
;; определяемые символы
 
(DEFUN words (vac) (COND
;; используемые символы
   ((null vac) NIL)
   ((ATOM vac) (CONS vac NIL ))
   (T (union (words (CAR vac)) 
             (words (CDR vac)))) ))
 
(DEFUN lexs (vac) (set-difference (words vac)
                                  (names vac)))
;; неопределяемые лексемы

Функции d-lex и d-names формируют нечто вроде встроенной базы данных, хранящей определения символов для удобства дальнейшей работы.

(DEFUN d-lex ( llex)
;; самоопределение терминалов
   (mapcar #'(LAMBDA (x) (set x x) ) llex) )
 
(DEFUN d-names ( llex)
;; определение нетерминалов
   (mapcar #'(LAMBDA (x) (set (CAR x )(CDR x )) )
      llex) )

Функции h-all, all-t и pred раскрывают слияния общих фрагментов системы текстов.

(DEFUN h-all (h lt)
;; подстановка голов 
   (mapcar #'(LAMBDA (a)
      (COND
         ((ATOM h) (CONS h a))
         (T (append h a)) )
      ) lt) )
(DEFUN all-t (lt tl)
;; подстановка хвостов
   (mapcar #'(LAMBDA (d)
      (COND 
         ((ATOM d) (CONS d tl))
      (T(append d tl))
) ) lt) )
 
(DEFUN pred (bnf tl)
;; присоединение предшественников
(level1 (mapcar #'(LAMBDA (z) (chain z tl )) bnf)

))

Функции sb-nm, chain и LeveL1 строят развернутые, линейные тексты из частей, выполняя подстановку определений, сборку и выравнивание.

(DEFUN sb-nm (elm tl) 
;; подстановка определений имен
   (COND
      ((ATOM (EVAL elm)) (h-all (EVAL elm) tl))
      (T (chain (EVAL elm) tl))
) )
 
(DEFUN chain (chl tl)
;; сборка цепочек
   (COND
      ((null chl) tl)
      ((ATOM chl) (sb-nm chl tl))
 
      ((ATOM (CAR chl))
        (sb-nm (CAR chl) (chain (CDR chl) tl) ))
 
      (T (pred (all-t (CAR chl) (CDR chl)) tl)) ))

(DEFUN level1 (ll)
;; выравниваие
   (COND
      ((null ll)NIL)
      (T (append (CAR ll) (level1 (CDR ll)) )) ))

На основе приведенных вспомогательных функций общая схема развертки языка по заданному его определению ( свертке ) может быть выполнена функцией lang:

(DEFUN lang ( frm )
;; вывод заданной системы текстов
(d-lex (lexs frm))
(d-names frm)
(pred (EVAL (caar frm)) '(()) 
) )

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

(lang (print (bnf 'vars 
   '((m a s h a)(m a s h i n a)(s h i n a)) 
      '((n (i n a))) )))
 
(lang '((vars (m a ((s h a)(s h n))) (s h n) ) 
   (n (i n a)) ) )

Цель преобразования   синтаксических формул при определении анализаторов и компиляторов можно проиллюстрировать на схеме рекурсивного определения понятия "Идентификатор":

Идентификатор ::= БУКВА
               | Идентификатор БУКВА
               | Идентификатор ЦИФРА

Удобное для эффективного синтаксического разбора определение имеет вид:

Идентификатор ::= БУКВА | БУКВА КонецИд
 
КонецИд ::= БУКВА КонецИд
         | ЦИФРА КонецИд
         | ПУСТО

Синтаксическая диаграмма анализатора


Рис. 13.1.

Этот пример показывает, что удобные для анализа формулы приведены к виду, когда каждую альтернативу можно выбрать по одному текущему символу. Система CLOS поддерживает ООП с выделением методов для одноэлементных классов, распознаваемых простым сравнением. Тем самым обеспечено удобное построение программ над структурами, подобными нормализованным формам.

Например, определение:

<а-гр> ::= А | А <а-гр>
 
<в-гр> ::= В | В <в-гр>
 
<слог> ::= <а-гр> <в-гр> 
         | <в-гр> <а-гр> 
         | <в-гр> <а-гр> <в-гр>

можно привести к виду, не требующему возвратов при анализе:

<а-гр>    ::= А <а-кон>
<а-кон>   ::= <пусто> | A <а-кон>
 
<в-гр>    ::= B <в-кон>
<в-кон>   ::= <пусто> | B <в-кон>
 
<слог>    ::= A <а-кон> B <в-кон>
            |B <в-кон> A <а-кон> <в-кон>

Если программирование сводит алгоритм решения задачи к программе из определенной последовательности шагов, то конструирование строит программу решения задачи из решений типовых вспомогательных задач. Для задачи реализации языка программирования ключевой (но не единственной) типовой задачей является определение реализуемого языка. Ее решение открывает возможности автоматизированного конструирования анализаторов и компиляторов. Автоматизацию конструирования системы программирования обеспечивают методы синтаксического управления обработкой информации и методы смешанных/частичных вычислений, позволяющие выводить определение компилятора программ из определения интерпретатора.

Все это хорошо изученные задачи, имеющие надежные решения, знания которых достаточно для создания своих языков программирования и проведения экспериментов с программами на своих языках. Существует ряд программных инструментов, поддерживающих автоматизацию процесса создания и реализации языков программирования и более общих информационных систем обработки формализованной информации, например YACC, LEX, Bison, Flex, основные идеи применения которых достаточно близки изложенным выше методам обработки формул и текстов. Очередной этап в этом направлении открывают технологии типа .Net и DotGNU.

< Лекция 12 || Лекция 13: 123 || Лекция 14 >
Дарья Федотова
Дарья Федотова
Сергей Березовский
Сергей Березовский

В рамках проф. переподготовки по программе "Программирование"

Есть курсы, которые я уже прошел. Но войдя в курс я вижу, что они не зачтены (Язык Ассемблера и архитектура ЭВМ, Программирование на С++ для профессионалов). Это как?

Алина Ленкова
Алина Ленкова
Россия, Ставрополь, СФ МГУПИ, 2014
Валерий Ромашов
Валерий Ромашов
Россия