139 Шаг 4. Генерация контекста на выбранном маршруте. 4.1. Инициализация контекста. 4.2. Занесение в контекст маски М. 4.3. Выбор очередного элемента из П, начиная с последнего. 4.4. Если П исчерпана, то переход к шагу 2 с выдачей диагностического сообщения о неопределенном ИО. 4.5. Проверка: является ли выбранный элемент определением уже внесенного в контекст аргумента. Если да, то переход к подшагу 4.3. 4.6. Добавление выбранного элемента к контексту. 4.7. Если контекст не построен, то переход к подшагу 4.3. Шаг 5. Анализ построенного контекста. 5.1. Выбор очередного элемента из множества Q1. Если Q1 исчерпано, то переход к подшагу 5.3. 5.2. Сравнение выбранного элемента с построенным контекстом. Если сравнились, то переход к шагу 2. 5.3. Добавление построенного контекста к множеству Q1. 5.4. Добавление выбранного маршрута к множеству Q2. 5.5. Переход к шагу 2. Шаг 6. Завершение работы алгоритма. Алгоритм АЗ. Построение множества маршрутов, удовлетворяющих требованию критерия 3. Алгоритм АЗ отличается от алгоритма А2 лишь шагом 5.2 (сравнение построенного контекста с выбранным из множества Q1 элементом). Для А2 такое сравнение осуществляется на предмет наличия в сравниваемых контекстах одних и тех же определений аргументов операции (р независимо от их последовательности. Для АЗ необходимо совпадение не только всех определений, входящих в контекст, но и порядка их следования (выполнения). |
3.8.Занесение в П определения Xlk j с учетом соответствующей маски М. 3.9.Переход к подшагу 3.2. Шаг 4. Генерация контекста на выбранном маршруте. 4.1.Инициализация контекста. 4.2.Занесение в контекст маски М. 4.3.Выбор очередного элемента из П, начиная с последнего. 4.4. Если П исчерпана, то переход к шагу 2 с выдачей диагностического сообщения о неопределенном ИО. 4.5. Проверка: является ли выбранный элемент определением уже внесенного в контекст аргумента. Если да, то переход к подшагу 4.3. 4.6. Добавление выбранного элемента к контексту. 4.7.Если контекст не построен, то переход к подшагу 4.3. Шаг 5. Анализ построенного контекста. 5.1. Выбор очередного элемента из множества Q1. Если Q1 исчерпано, то переход к подшагу 5.3. 5.2.Сравнение выбранного элемента с построенным контекстом. Е ели сравнились, то переход к шагу 2. 5.3. Добавление построенного контекста к множеству Q1. 5.4. Добавление выбранного маршрута к множеству Q2. 5.5.Переход к шагу 2. Шаг 6. Завершение работы алгоритма. Алгоритм АЗ. Построение множества маршрутов, удовлетворяющих требованию критерия 3. Алгоритм АЗ отличается от алгоритма А2 лишь шагом 5.2. (сравнение построенного контекста с выбранным из множества Q1 элементом). Для А2 такое сравнение осуществляется на предмет наличия в сравниваемых контекстах одних и тех же определений аргументов операции <р независимо от их последовательности. Для АЗ необходимо совпадение не только всех определений, входящих в контекст, но и порядка их следования (выполнения). 140 |