Theory of computation

Вики

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

/

Теория вычислений Теория вычислений Раздел информатики и математики, изучающий задачи, решаемые с помощью моделей вычислений.   Включает теорию автоматов, формальных языков, […]

Вики

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

/

Теория вычислений Теория вычислений Раздел информатики и математики, изучающий задачи, решаемые с помощью моделей вычислений.   Включает теорию автоматов, формальных языков,

Вики

Тестирование 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 называется пределом Бремермана и представляет

Вики

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

/

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

Вики

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

/

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

Вики

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

/

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

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