Ragel

Ragel — компилятор конечных автоматов, производящий исходный код на C, C++, C#, Objective-C, D, Java, OCaml, Go и Ruby^[4].

Ragel
Тип	компилятор конечных автоматов
Разработчик	Adrian Thurston[1]
Написана на	C++[2]
Операционные системы	Unix-like, Windows
Последняя версия	7.0.4 (15 февраля 2021)[3]
Репозиторий	github.com/adrian-thurst…
Лицензия	лицензия MIT
Сайт	colm.net/open-sou… (англ.)
Медиафайлы на Викискладе

Особенности

Исходным текстом конечного автомата для Ragel служит расширенный язык регулярных выражений^[5] и/или диаграмма состояний конечного автомата. Ragel хорошо подходит для построения лексических анализаторов и спецификации протоколов передачи данных^[6].

Ragel позволяет внедрять в любой точке выполнения автомата определяемые пользователем действия. С целью разрешения недетерминизма предусмотрена система приоритетов для операторов регулярного языка.

Ragel поддерживает визуализацию генерируемого автомата с помощью graphviz.

Примеры применения

Зед Шоу^[англ.] использовал Ragel для своего веб-сервера Mongrel при написании высокопроизводительного анализатора пользовательских HTTP-запросов^[7].

См. также

• Executable UML^[англ.]
• Конечный автомат
• Flex
• Lex
• Регулярные выражения
• Umple^[англ.]