Rewriting systems

Вики

Теорема Чёрча–Россера

/

Теорема Черча–Россера Теорема Черча-Россера Утверждает, что каждое нормальное выражение в лямбда-исчислении может быть сведено к нормальной форме.  Используется для доказательства […]

Вики

Унификация (информатика)

/

Унификация (информатика) Основы унификации Унификация – это процесс замены переменных в терминах, чтобы сделать их синтаксически равными.  Унификация используется в

Вики

Основа Грёбнера

/

Основа Гребнера Основы теории базисов Гребнера Базисы Гребнера – это наборы многочленов, которые порождают идеал и имеют определенные свойства.  Базисы

Вики

Система Полу-Туэ

/

Полупрозрачная система Определение и свойства системы полу-Тьюринга Система полу-Тьюринга – это система перезаписи строк, которая имитирует машину Тьюринга.  Она включает

Вики

Алгоритм Маркова

/

Алгоритм Маркова Определение и примеры алгоритмов Маркова Алгоритм Маркова – это метод обработки строк, основанный на замене подстрок.  Алгоритм назван

Вики

Директорская строка

/

Режиссерская строка Определение и применение директорских строк Директорские строки используются для отслеживания свободных переменных в математических выражениях.  Они были введены

Вики

Свежая переменная

/

Новая переменная Определение новой переменной Новая переменная – это переменная, не встречавшаяся в контексте до этого.  Используется для замены других

Вики

Стратегия сокращения

/

Стратегия сокращения выбросов Основы лямбда-исчисления Лямбда-исчисление – это формальное исчисление, основанное на лямбда-абстракции и рекурсии.  Редукция – это процесс упрощения

Вики

Явная замена

/

Явная подстановка Явные подстановки в лямбда-исчислении Явные подстановки акцентируют внимание на формализации процесса подстановки в лямбда-исчислении.  Стандартное лямбда-исчисление использует неявные

Вики

Жан-Пьер Жуанно

/

Жан-Пьер Жуанно Биография и карьера Жан-Пьера Жуанно Французский ученый-компьютерщик, известен работами в области терминологии.  Родился 21 мая 1947 года, образование

Вики

Слияние (абстрактное переписывание)

/

Слияние (переписывание тезисов) Слияние – свойство систем перезаписи в информатике и математике, описывающее возможность переписывания терминов несколькими способами для получения

Вики

Система Полу-Туэ

/

Полупрозрачная система Полуавтоматическая система – система перезаписи терминов, где монадические слова оканчиваются на ту же переменную, что и левосторонние и

Вики

Рефлексивное закрытие

/

Рефлексивное закрытие Рефлексивное замыкание бинарного отношения R на съемочной площадке X является наименьшим рефлексивным отношением, содержащим R.  Отношение называется рефлексивным,

Вики

Переписывание

/

Переписывание Системы перезаписи терминов являются формальными системами для переписывания терминов в алгебре.  Термины состоят из двоичных операторов и унарного оператора. 

Вики

Термин (логика)

/

Термин (логический) Статья представляет собой введение в лямбда-исчисление и его применение в программировании.  Лямбда-исчисление является формализмом для описания функций и