Компилатор на Finite State Machine [затворен]

Не знам за най-добрия, но можете да погледнете Ragel :

Ragel компилира изпълними крайни машини от обикновени езици. Ragel е насочен към C, C++, Objective-C, D, Java и Ruby. Машините със състояния на Ragel могат не само да разпознават последователности от байтове, както правят машините за регулярен израз, но също така могат да изпълняват код в произволни точки при разпознаването на нормален език.

Моля, вижте отговора, който дадох на този въпрос, SMC може също да генерира C++ код. Не мога да коментирам качеството на генерирания C++, но за C# е задоволително.