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