Automata (computation)

Вики

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

/

Теория автоматов Определение и классификация автоматов Автомат – это устройство, которое может принимать входные данные и выполнять определенные действия.  Классификация […]

Вики

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

/

Формальная грамматика Основы формальных грамматик Формальные грамматики – это математические модели для описания языков.  Они основаны на работах Ноама Хомского

Вики

Автомат с таймером

/

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

Вики

Логика дерева вычислений

/

Логика дерева вычислений Основы логики дерева вычислений (CTL) CTL – это логика для описания свойств бесконечных путей вычислений в моделях. 

Вики

Булево дифференциальное исчисление

/

Булево дифференциальное исчисление Основы булева дифференциального исчисления Булево дифференциальное исчисление (BDC) – это область булевой алгебры, изучающая изменения булевых переменных

Вики

Гибридный автомат

/

Гибридный автомат Определение гибридного автомата Гибридный автомат – это математическая модель, которая объединяет свойства конечных автоматов и временных автоматов.  Гибридные

Вики

Автомат с бесконечным деревом

/

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

Вики

Дерево-автомат

/

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

Вики

Дерево (теория автоматов)

/

Дерево (теория автоматов) Определение дерева в теории автоматов Дерево – это древовидная структура, представленная в виде последовательностей натуральных чисел.  Дерево

Вики

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

/

Формальная грамматика Основы формальных грамматик Формальные грамматики – это математические модели для описания языков.  Они основаны на работах Ноама Хомского

Вики

Таблица переходов состояний

/

Таблица переходов между состояниями Определение таблицы переходов состояний Таблица переходов состояний описывает, в какое состояние перейдет конечный автомат в зависимости

Вики

Автомат очереди

/

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

Вики

Конечный автомат UML

/

Конечный автомат UML Основы диаграмм состояний UML Диаграммы состояний UML используются для описания поведения систем с помощью состояний и переходов. 

Вики

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

/

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

Вики

Последовательная логика

/

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

Вики

Сложность колебаний информации

/

Сложность изменения информации Определение сложности Сложность системы определяется как количество информации, необходимое для описания ее состояния.  Сложность связана с энтропией,

Вики

Проблема высоты звезды

/

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

Вики

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

/

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

Вики

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

/

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