Исследование и оптимизация условных систем переписывания на основе продукционно-логической модели

Рассмотрение алгебраической модели условной эквациональной теории, основанной на решетках. Обоснование локально-эквивалентных преобразований множества условных правил, оптимизация путем получения эквивалентной системы с минимальным набором правил.

Подобные документы

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу и оценить ее, кликнув по соответствующей звездочке.