Отчет
По лабораторной работе №2
По курсу ПИС
на тему: «Унификация алгебраических выражений»
Вариант № 12
Цель работы: исследование алгоритма унификации; выявление зависимостей между параметрами алгоритма
Задание на лабораторную работу:
1) В соответствии с выбранным вариантом условия разработать и отладить систему продукций, решающую поставленную задачу. Система продукций должна включать элементарные тождественные преобразования типа: x – x Þ 0; 0 + x Þ x; x or 1 Þ 1 и т.д. При необходимости ввести в программу требуемые операции или функции;
Разработать систему продукций для перевода логического выражения, заданного в базисе not — «НЕ»;and — «И»; => — «логическое следование», в базис.: not — «НЕ»; and — «И»; or – «ИЛИ»
2) провести определение зависимостей между параметрами алгоритмов преобразования и унификации Y1 = f(X1, X2, X3,X4); Y2 = f(X1, X2, X3,X4); Y3 = f(X1, X2, X3,X4). Обозначения параметров даны в таблице
Таблица -Параметры алгоритмов
Мнемоническое обозначение | Наименование |
X1 | Количество операций |
X2 | Количество операндов (переменных и констант) |
X3 | Количество функций |
X4 | Уровень вложенности скобок |
Y1 | Максимальная глубина стека операций |
Y2 | Максимальная глубина стека операндов |
Y3 | Количество шагов алгоритма унификации |
3) построить графики зависимостей. Варьирование параметров выполнять путем изменения структуры и состава элементов выражений;
4) в выводах дать рекомендации по выбору параметров алгоритмов при программной реализации.
Тип работы: Лабораторная, Отчет
Предмет: Компьютерные науки
Страниц: 37
Литературы: 3 шт.
Цена: 77 руб. (можно купить часть работы)