extend noam with human-readable fsm format