Теория вычислений

Вики

Тестирование X-Machine

Тестирование на X-машине Основы тестирования конечных автоматов Конечные автоматы используются для описания поведения систем с конечным числом состояний.  Тестирование конечных […]

Вики

Стрим X-Машина

Stream X-Машина Основы Stream X-machine Stream X-machine (SXM) – модель вычислений, разработанная Гилбертом Лейкоком в 1993 году.  Основана на X-машине

Вики

Стрим X-Машина

Stream X-Машина Основы Stream X-machine Stream X-machine (SXM) – модель вычислений, разработанная Гилбертом Лейкоком в 1993 году.  Основана на X-машине

Вики

Вычислимая функция

Вычислимая функция Определение вычислимости Вычислимая функция – это функция, которую можно вычислить с помощью алгоритма.  Вычислимость функции может быть доказана

Вики

Общая рекурсивная функция

Общая рекурсивная функция Определение и свойства μ-рекурсии μ-рекурсия – это форма рекурсии, которая позволяет определить функцию, используя только μ-оператор.  μ-оператор

Вики

Рекурсивный язык

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

Вики

Проблема с почтовой перепиской

Проблема с почтовой перепиской Определение и история проблемы почтовой корреспонденции Проблема почтовой корреспонденции (PCP) – это задача, в которой требуется

Вики

Тезис Чёрча – Тьюринга

Тезис Черча–Тьюринга Тезис Черча-Тьюринга Тезис утверждает, что все вычислимые функции могут быть реализованы на машине Тьюринга.  Математически эквивалентен понятию частичной

Вики

Допустимая нумерация

Допустимая нумерация Определение и эквивалентность допустимых нумераций Допустимые нумерации – это перечисления частично вычислимых функций, которые можно преобразовать в стандартную

Вики

Список неразрешимых проблем

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

Вики

Язык омеги

Омега-язык Определение ω-языка ω-язык – это множество бесконечных слов над заданным набором символов Σ.  ω-слово – это функция от множества

Вики

Анализ достижимости

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

Вики

Гиперкомпьютеры

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

Вики

Рекурсия

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

Вики

Трансвычислительная задача

Транскомпьютерная задача Определение транскомпьютерной задачи Транскомпьютерная задача требует обработки более 1093 бит информации.  Число 1093 называется пределом Бремермана и представляет

Вики

Пределы вычислений

Пределы вычислений Физические и практические ограничения вычислений Существуют ограничения на объем вычислений и хранения данных, связанные с массой, объемом и

Вики

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

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

Вики

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

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

Вики

Вычислительная семиотика

Вычислительная семиотика Определение и область применения Семиотика – это наука о знаках и их значениях.  Вычислительная семиотика – это междисциплинарная

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