В этой статье описывается простое замкнутое ?-выражение, при помощи
которого можно выразить все прочие ?-выражения. Его построение
осуществляется систематическим образом. Полученное ?-выражение
является более простым, чем известные из литературы
однокомбинаторные базисы.
Фоккер Е. Систематическое конструирование однокомбинаторного базиса для ?-термов
- формат pdf
- размер 121.7 КБ
- добавлен 01 февраля 2011 г.
Похожие разделы
Смотрите также
Курсовая работа - Поиск кратчайшего пути в лабиринте
Курсовая работа- формат doc
- размер 42.56 КБ
- добавлен 29 мая 2010 г.
Курсовая работа. По по предмету конструирование программ и языки программирования на тему: Поиск кратчайшего пути в лабиринте. Постановка задачи. Проектирование программы. Реализация программы. Модуль GRAPHICA. Модуль SHORTWAY. Модуль MOUSE. Описание работы программы. Методика и результаты тестирования. задачи. 22 стр.