Системы переписывания

Вики

Основа Грёбнера — Википедия

/

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

Вики

Система Полу-Туэ — Википедия

/

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

Вики

Алгоритм Маркова — Википедия

/

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

Вики

Директорская строка — Википедия

/

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

Вики

Переписывание — Википедия

/

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

Вики

Свежая переменная — Википедия

/

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

Вики

Стратегия сокращения — Википедия

/

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

Вики

Явная замена — Википедия

/

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

Вики

Жан-Пьер Жуанно — Википедия

/

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

Вики

Рефлексивное закрытие — Википедия

/

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

Вики

Переписывание — Википедия

/

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

Вики

Переписывание — Википедия

/

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

Вики

Термин (логика) — Википедия

/

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

Прокрутить вверх