Автоматы (вычисления)

Вики

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

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

Вики

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

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

Вики

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

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

Вики

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

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

Вики

Беззвездный язык

Язык, свободный от звезд Определение обычного языка без звездочек Обычный язык без звездочек описывается регулярным выражением без символа Клини.  Примеры

Вики

Вложенное слово

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

Вики

Абстрактная машина

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

Вики

k-регулярная последовательность

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

Вики

Автоматическая последовательность

Автоматическая последовательность действий Автоматические последовательности – это последовательности, которые могут быть описаны с помощью детерминированных автоматов.  Последовательность является k-автоматической, если

Вики

Асинхронная схема

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

Вики

Машина Тьюринга

Машина Тьюринга Машина Тьюринга – абстрактная вычислительная модель, предложенная Аланом Тьюрингом в 1936 году.  Машина Тьюринга состоит из ленты, головки

Вики

Формальная грамматика

Формальная грамматика Формальные грамматики используются для описания языков и их синтаксических структур.  Ноам Хомский классифицировал грамматики по типам, известным как

Вики

Теория автоматов

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

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