Помощь
Категория:Вычислительные формализмы
Материал из Викиконспекты
Перейти к:
навигация
,
поиск
Страницы в категории «Вычислительные формализмы»
Показано 11 страниц из 11, находящихся в данной категории.
В
Возможность порождения формальной грамматикой произвольного перечислимого языка
Л
Линейно ограниченный автомат
Линейный клеточный автомат, эквивалентность МТ
М
Машина Тьюринга
Модели клеточных автоматов
П
Примитивно рекурсивные функции
С
Сверхтьюринговые вычисления (гипервычисления)
Стековые машины, эквивалентность двухстековой машины МТ
Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
Т
Тьюринг-полнота
Ч
Частично рекурсивные функции
Категория
:
Всё
Навигация
Персональные инструменты
Создать учётную запись
Войти
Пространства имён
Категория
Обсуждение
Варианты
Просмотры
Читать
Просмотр вики-текста
История
Ещё
Поиск
Навигация
Заглавная страница
Свежие правки
Случайная статья
Справка
Инструменты
Ссылки сюда
Связанные правки
Спецстраницы
Постоянная ссылка
Сведения о странице