Модели вычислений

Вики

Персистентность (информатика)

/

Настойчивость (информатика) Основы сохранения данных Сохранение данных включает в себя их постоянное хранение и восстановление после сбоев.  Сохранение данных может […]

Вики

Кривинский автомат

/

Кривошипная машина Определение и применение машины Кривина Машина Кривина – это абстрактная машина для вычисления нормальных форм в лямбда-исчислении.  Она

Вики

Сети взаимодействия

/

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

Вики

Информационная система Скотта

/

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

Вики

Аппликативные вычислительные системы

/

Прикладные вычислительные системы Основы прикладных вычислительных систем ACS основаны на комбинаторной логике и лямбда-исчислении.  Основное понятие – представление объекта.  Комбинаторная

Вики

Государственное пространство (информатика)

/

Пространство состояний (информатика) Определение пространства состояний Пространство состояний – это дискретное пространство, описывающее конфигурации системы.  Используется в информатике для моделирования

Вики

Система перехода

/

Переходная система Определение переходной системы Используется в теоретической информатике для описания поведения дискретных систем  Включает состояния и переходы с метками,

Вики

Лямбда-исчисление

/

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

Вики

Денотационная семантика

/

Денотативная семантика Основы денотационной семантики Денотационная семантика – это математическая теория, описывающая смысл программ.  Она отличается от операционной семантики, которая

Вики

SECD-машина

/

Вторая машина Описание SECD-машины SECD-машина – это виртуальная машина, разработанная Питером Дж. Ландином в 1964 году.  Машина основана на стеке

Вики

Государство (информатика)

/

Государственный (информатика) Определение системы с отслеживанием состояния Система запоминает предыдущие события или взаимодействия пользователя.  Запоминаемая информация называется состоянием системы.  Пространство

Вики

Теорема о структурированной программе

/

Теорема о структурированной программе Доказательство Бема-Якопини Доказательство, что любая программа может быть преобразована в структурированную программу без добавления дополнительных переменных. 

Вики

Параллельная ОЗУ

/

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

Вики

Петрине

/

Сеть Петри Определение и применение сетей Петри Сети Петри – это математические модели для описания параллельных систем.  Они состоят из

Вики

Детерминированный автомат с выталкиванием

/

Детерминированный нажимной автомат Определение и свойства детерминированных нажимных автоматов Детерминированный нажимной автомат (DPDA) – это разновидность нажимного автомата, принимающая детерминированные

Вики

Нажимной автомат

/

Нажимной автомат Определение и свойства КПК КПК – это конечный автомат с дополнительным стеком, который может хранить символы.  КПК может

Вики

Автомат для штабелирования деревьев

/

Древовидный стековый автомат Определение древовидного стекового автомата Древовидный стековый автомат – это автомат с памятью, напоминающий потоковый автомат.  Он распознает

Вики

Нить-автомат

/

Нитевой автомат Определение потокового автомата Потоковый автомат – это расширенный автомат, распознающий языки, зависящие от контекста.  Он состоит из множества

Вики

Вложенный стек-автомат

/

Вложенный стековый автомат Определение вложенного стекового автомата Вложенный стековый автомат – это конечный автомат с возможностью использования стека.  Он может

Вики

Линейный ограниченный автомат

/

Линейный ограниченный автомат Определение линейного ограниченного автомата (LBA) LBA – это ограниченная форма машины Тьюринга с двумя конечными маркерами и

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