Теорема Чёрча–Россера
Теорема Черча–Россера Теорема Черча-Россера Утверждает, что каждое нормальное выражение в лямбда-исчислении может быть сведено к нормальной форме. Используется для доказательства […]
Теорема Черча–Россера Теорема Черча-Россера Утверждает, что каждое нормальное выражение в лямбда-исчислении может быть сведено к нормальной форме. Используется для доказательства […]
Унификация (информатика) Основы унификации Унификация – это процесс замены переменных в терминах, чтобы сделать их синтаксически равными. Унификация используется в
Словесная задача (математика) Определение проблемы со словом Проблема со словом – это задача определения, представляют ли два слова один и
Основа Гребнера Основы теории базисов Гребнера Базисы Гребнера – это наборы многочленов, которые порождают идеал и имеют определенные свойства. Базисы
Полупрозрачная система Определение и свойства системы полу-Тьюринга Система полу-Тьюринга – это система перезаписи строк, которая имитирует машину Тьюринга. Она включает
Алгоритм Маркова Определение и примеры алгоритмов Маркова Алгоритм Маркова – это метод обработки строк, основанный на замене подстрок. Алгоритм назван
Режиссерская строка Определение и применение директорских строк Директорские строки используются для отслеживания свободных переменных в математических выражениях. Они были введены
Новая переменная Определение новой переменной Новая переменная – это переменная, не встречавшаяся в контексте до этого. Используется для замены других
Стратегия сокращения выбросов Основы лямбда-исчисления Лямбда-исчисление – это формальное исчисление, основанное на лямбда-абстракции и рекурсии. Редукция – это процесс упрощения
Явная подстановка Явные подстановки в лямбда-исчислении Явные подстановки акцентируют внимание на формализации процесса подстановки в лямбда-исчислении. Стандартное лямбда-исчисление использует неявные
Жан-Пьер Жуанно Биография и карьера Жан-Пьера Жуанно Французский ученый-компьютерщик, известен работами в области терминологии. Родился 21 мая 1947 года, образование
Обычная форма (переписывание тезисов) Абстрактное переписывание: объект находится в нормальной форме, если его невозможно переписать дальше. Система перезаписи обладает свойством
Слияние (переписывание тезисов) Слияние – свойство систем перезаписи в информатике и математике, описывающее возможность переписывания терминов несколькими способами для получения
Система переписывания рефератов Абстрактная система перезаписи (ARS) – формализм, отражающий свойства систем перезаписи. ARS – это набор объектов и бинарное
Полупрозрачная система Полуавтоматическая система – система перезаписи терминов, где монадические слова оканчиваются на ту же переменную, что и левосторонние и
Рефлексивное закрытие Рефлексивное замыкание бинарного отношения R на съемочной площадке X является наименьшим рефлексивным отношением, содержащим R. Отношение называется рефлексивным,
Переписывание Системы перезаписи терминов являются формальными системами для переписывания терминов в алгебре. Термины состоят из двоичных операторов и унарного оператора.
Термин (логический) Статья представляет собой введение в лямбда-исчисление и его применение в программировании. Лямбда-исчисление является формализмом для описания функций и