Ragel kompiliert endliche Zustandsautomaten von einer regulären Sprache in C-, C++- oder Objective-C-Code. Es erlaubt dem Programmierer, an beliebiger Stelle Aktionen einzufügen und eventuellen Nicht-Determinismus zu steuern. Es versteht Verkettung, Vereinigung, Kleene-Stern, Subtraktion, Durchschnitt, Epsilon-Transitionen und verschiedene andere bekannte Operatoren. Durch Verwendung von Labels und Epsilon-Transitionen kann Ragel Zustandsautomaten erzeugen, die einen benannten Zustand und eine zugehörige Liste von Übergängen haben. Die erzeugten endlichen Automaten sind abgeschlossen unter allen Operatoren. Damit können beliebige reguläre Sprachen beschrieben werden, es ist also möglich, einen Parser für jede reguläre Sprache zu schreiben. (hjb)