Унификация алгебраических выражений (отчет по лабораторной работе №2)

Готовая работа

Отчет

По лабораторной работе №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 руб. (можно купить часть работы)

Добавить комментарий

Ваш email не будет показан.

Получать новые комментарии по электронной почте. Вы можете подписаться без комментирования.