Так привык к тому, что автомат (не важно, реализован он на микропроцессоре или жёсткой логике) это такая вариация на тему машины Тьюринга. А ФП, оно может и расово верно и православненько математичненько, но от одной идеи отсутсвия переменных у меня шарики за ролики едут. Не говоря уже о заморочках объективного верблюда, вроде того, что если часть функций в другом исходном файле, то это уже другой модуль.