<<
>>

Структурные автоматы

В состояния автоматов могут быть вложены другие автоматы. Переход во вложенном автомате осуществляется, только если в основном автомате нет перехода по текущему символу. Система вложенных автоматов называется иерархическим автоматом[41, 42, 44, 45].

1.4.

<< | >>
Источник: Лукин Михаил Андреевич. Верификация автоматных программ. Диссертация на соискание ученой степени кандидата технических наук. Санкт-Петербург - 2014. 2014

Еще по теме Структурные автоматы:

  1. Структурная организация коммутационного устройства
  2. СТРУКТУРНО-ФУНКЦИОНАЛЬНАЯ ОРГАНИЗАЦИЯ КОММУТАЦИОННОГО УСТРОЙСТВА С ПАРАЛЛЕЛЬНО­КОНВЕЙЕРНОЙ ДИСПЕТЧЕРИЗАЦИЕЙ ПАКЕТОВ
  3. Структурная модель устройства коммутации с параллельно­конвейерной диспетчеризацией пакетов
  4. МЕТОД И АЛГОРИТМ КОММУТАЦИИ С ПАРАЛЛЕЛЬНО­КОНВЕЙЕРНОЙ ДИСПЕТЧЕРИЗАЦИЕЙ ПАКЕТОВ. СТРУКТУРНАЯ МОДЕЛЬ КОММУТАЦИОННОГО УСТРОЙСТВА
  5. СОДЕРЖАНИЕ
  6. Исследование влияния режимов термоциклической обработки на структуру и свойства низколегированных сталей с наноразмерными добавками Ni и NiO
  7. Безобменные магнитоэлектрические магноны - особый класс гибридных дипольных волн
  8. Проведение термоциклической обработки
  9. Оборудование для электроэрозионного измельчения
  10. Рефракция s-и р-поляризованной плоской электромагнитной волны на границе «немагнитный диэлектрик - скомпенсированный легкоосный центроантисимметричный антиферромагнетик». Продольная магнитооп­тическая конфигурация
  11. Исследование влияния режимов закалки на структуру и свойства порошковых низколегированных сталей с наноразмерными добавками Ni и NiO
  12. Понятие и классификация
  13. Усиление эффекта Гуса-Хенхен на уединенной границе немагнитной и АФМ сред в скрещенных постоянных внешних магнитном и электриче­ском полях
  14. СПИСОК ЛИТЕРАТУРЫ
  15. 2.3.10. Рентгенофазовый анализ
  16. Введение
  17. Требования к функциональным блокам коммутационного устройства