Никто не видел такого макроса, который бы по множеству состояний, множеству входных символов и наборам [старое состояние, входной символ, новое состояние, функция] генерировал бы мне тип, каждый экземпляр которого имел свое состояние, а набор функций, вызываемых при переходах, был бы общим.