Автоматизированный конечный автомат для C

Я ищу автоматический генератор конечных автоматов для C? Я видел несколько в Интернете, но не могу решить, какой из них использовать. Если кто-то работал с таким инструментом, помогите мне найти подходящий.

Спасибо, Рави Гупта