<p>Введение. Ключевым элементом парадигмы автоматного программирования является<br /> построение управляющего конечного автомата. Использование автоматной модели позволяет<br /> производить автоматическое построение тестов и верификацию, а также обладает рядом<br /> других достоинств [1]. Однако построение управляющего автомата является нетривиальной<br /> задачей, и хотя иногда может быть выполнено вручную, для большинства реальных задач<br /> является весьма трудоемким процессом. Во многих случаях уже существует программа,<br /> решающая необходимую задачу. Такая программа, написанная не в автоматном стиле, не<br /> предоставляет автоматной модели сама по себе, но может быть использована для построения<br /> управляющего автомата.</p>