Text this: Применение автоматной парадигмы к синтезу программы управления станком наплавки пятников железнодорожных вагонов