Стили и методы программирования



              

Алгоритм для сопоставления объектного выражения E с образцом P в Рефал-5.


Вхождения атомов, скобок и переменных будут называться элементами выражений. Пропуски между элементами будут называться узлами. Сопоставление E : P определяется как процесс отображения, или проектирования, элементов и узлов образца P на элементы и узлы объектного выражения E. Графическое представление успешного сопоставления приведено на рис. 5.2. Здесь узлы представлены знаками o.

Следующие требования являются инвариантом алгоритма сопоставления и их выполнение обеспечивается на каждой его стадии.




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