<p>Введение. При применении парадигмы автоматного программирования для реализации<br /> сущности со сложным поведением выделяется система управления и объект управления. На<br /> начальном этапе проектирования программы выделяются события, входные переменные и<br /> выходные воздействия. После этого проектирование программы может идти разными<br /> путями. Один из них состоит в написании сценария работы программы, по которому далее<br /> эвристически строится автомат.<br /> К автоматной программе, как правило, предъявляются два требования:<br /> - непротиворечивость – не должно быть двух переходов, исходящих из одного состояния<br /> управляющего автомата и одновременно выполнимых при некоторой комбинации события<br /> и входных переменных;<br /> - полнота – любой комбинации события и входных переменных должен соответствовать<br /> переход в каждом состоянии.<br /> В работе проводится экспериментальное исследование метода построения автоматных<br /> программ, удовлетворяющих требованию непротиворечивости, но не удовлетворяющих<br /> требованию полноты.</p>