Тестирование X-Machine
Тестирование на X-машине Основы тестирования конечных автоматов Конечные автоматы используются для описания поведения систем с конечным числом состояний. Тестирование конечных […]
Тестирование на X-машине Основы тестирования конечных автоматов Конечные автоматы используются для описания поведения систем с конечным числом состояний. Тестирование конечных […]
Stream X-Машина Основы Stream X-machine Stream X-machine (SXM) – модель вычислений, разработанная Гилбертом Лейкоком в 1993 году. Основана на X-машине
Stream X-Машина Основы Stream X-machine Stream X-machine (SXM) – модель вычислений, разработанная Гилбертом Лейкоком в 1993 году. Основана на X-машине
Вычислимая функция Определение вычислимости Вычислимая функция – это функция, которую можно вычислить с помощью алгоритма. Вычислимость функции может быть доказана
Общая рекурсивная функция Определение и свойства μ-рекурсии μ-рекурсия – это форма рекурсии, которая позволяет определить функцию, используя только μ-оператор. μ-оператор
Рекурсивный язык Определение рекурсивного языка Рекурсивный язык – это язык, который может быть описан рекурсивной функцией. Рекурсивные языки включают контекстно-зависимые
Проблема с почтовой перепиской Определение и история проблемы почтовой корреспонденции Проблема почтовой корреспонденции (PCP) – это задача, в которой требуется
Тупица (мысленный эксперимент) Обзор системы Blockhead Блок создал теоретическую компьютерную систему, названную в его честь. Система не была названа в
Тезис Черча–Тьюринга Тезис Черча-Тьюринга Тезис утверждает, что все вычислимые функции могут быть реализованы на машине Тьюринга. Математически эквивалентен понятию частичной
Допустимая нумерация Определение и эквивалентность допустимых нумераций Допустимые нумерации – это перечисления частично вычислимых функций, которые можно преобразовать в стандартную
Список неразрешимых проблем Определение неразрешимых задач Неразрешимая задача – это проблема, для которой не существует алгоритма, который всегда давал бы
Омега-язык Определение ω-языка ω-язык – это множество бесконечных слов над заданным набором символов Σ. ω-слово – это функция от множества
Анализ достижимости Обзор анализа достижимости Анализ достижимости решает проблему достижимости в распределенных системах. Используется для определения глобальных состояний, которые могут
Гипервычисление Определение и история гипервычислений Гипервычисления – это вычислительные системы, способные решать задачи, которые классические компьютеры не могут. Идея гипервычислений
Введение в теорию вычислений Введение в теорию вычислений Учебник по теоретической информатике, написанный Michael Sipser и опубликованный в 1997 году.
Транскомпьютерная задача Определение транскомпьютерной задачи Транскомпьютерная задача требует обработки более 1093 бит информации. Число 1093 называется пределом Бремермана и представляет
Пределы вычислений Физические и практические ограничения вычислений Существуют ограничения на объем вычислений и хранения данных, связанные с массой, объемом и
Полупрозрачная система Определение и свойства системы полу-Тьюринга Система полу-Тьюринга – это система перезаписи строк, которая имитирует машину Тьюринга. Она включает
Алгоритм Маркова Определение и примеры алгоритмов Маркова Алгоритм Маркова – это метод обработки строк, основанный на замене подстрок. Алгоритм назван
Вычислительная семиотика Определение и область применения Семиотика – это наука о знаках и их значениях. Вычислительная семиотика – это междисциплинарная