Нитевой автомат

• Определение потокового автомата

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

• Структура и функционирование

  • Путь u1…un представляет собой последовательность компонентов пути, а поток — это путь с состоянием. 
  • Хранилище потоков S — это функция, которая отображает пути на состояния. 
  • Конфигурация автомата состоит из позиции во входной строке, активного потока и хранилища потоков. 

• Переходы и конфигурации

  • Переходы могут менять местами состояния активного потока, создавать новые подпотоки, приостанавливать и возобновлять потоки. 
  • Конфигурации автомата описывают начальное и конечное состояния, а также активные потоки. 

• Принятие входной строки

  • Входная строка принимается автоматом, если существует последовательность переходов, приводящая к конечной конфигурации. 

• Рекомендации

  • В статье приведены рекомендации по использованию потоковых автоматов.