Оглавление
Нитевой автомат
-
Определение потокового автомата
- Потоковый автомат – это расширенный автомат, распознающий языки, зависящие от контекста.
- Он состоит из множества состояний, терминальных символов, начального и конечного состояний, компонентов пути и функции переходов.
-
Структура и функционирование
- Путь u1…un представляет собой последовательность компонентов пути, а поток – это путь с состоянием.
- Хранилище потоков S – это функция, которая отображает пути на состояния.
- Конфигурация автомата состоит из позиции во входной строке, активного потока и хранилища потоков.
-
Переходы и конфигурации
- Переходы могут менять местами состояния активного потока, создавать новые подпотоки, приостанавливать и возобновлять потоки.
- Конфигурации автомата описывают начальное и конечное состояния, а также активные потоки.
-
Принятие входной строки
- Входная строка принимается автоматом, если существует последовательность переходов, приводящая к конечной конфигурации.
-
Рекомендации
- В статье приведены рекомендации по использованию потоковых автоматов.
Полный текст статьи: