Так наверное преобразование описания конечного автомата в текст на с (к примеру), должен делать компилятор, а у него должен быть оптимизатор :) а после работы оптимизатора может случиться что угодно, хоть гоуту :)
(«Телесистемы»: Конференция «Микроконтроллеры и их применение»)