A Finite/Hierarchical State Machine generator.