Оглавление
Управляемый событиями конечный автомат
-
Основы конечных автоматов
- Конечный автомат управляется событиями, а не символами.
- Часто реализуются в виде потоков или процессов в больших приложениях.
- Телекоммуникационные протоколы часто описываются как конечные автоматы.
-
Пример на языке Си
- Простой конечный автомат для автомобильной радиосистемы с двумя состояниями.
- Событие – переключение между режимами радио и компакт-диска.
-
Пример в Ginr
- Ginr – компилятор, создающий многозадачные автоматы на основе полукольцевых алгебраических выражений.
- Вводными символами являются nil, mode, next, которые активируют различные функции CD/радио.
- Компиляция создает однозначный двоичный преобразователь, упрощающий управление системой.
-
Разделение синтаксиса и семантики
- Синтаксис и семантика разделены в символической и процедурной областях соответственно.
- Рациональные выражения обеспечивают краткие описания протоколов, влияющие на управление системой.
-
Скомпилированные автоматы и контроллеры
- Скомпилированные автоматы подвергаются дальнейшей обработке для создания эффективных контроллеров.
-
Ссылки и дальнейшее чтение
- Ссылки на другие статьи и руководства по использованию Ginr.
- Упоминание о необходимости дальнейшего чтения по теме конечных автоматов.