Сборники тезисов • Сборник тезисов докладов конгресса молодых ученых. Выпуск 1 • ТЕХНОЛОГИИ ПРОГРАММИРОВАНИЯ, ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ, БИОИНФОРМАТИКА
ПОСТРОЕНИЕ УПРАВЛЯЮЩИХ КОНЕЧНЫХ АВТОМАТОВ С ПОМОЩЬЮ МЕТОДОВ РЕШЕНИЯ ЗАДАЧИ УДОВЛЕТВОРЕНИЯ ОГРАНИЧЕНИЙ
УДК: 004.4'242
Аннотация:
Введение. При применении парадигмы автоматного программирования для реализации
сущности со сложным поведением выделяется система управления и объект управления. На
начальном этапе проектирования программы выделяются события, входные переменные и
выходные воздействия. После этого проектирование программы может идти разными
путями. Один из них состоит в написании сценария работы программы, по которому далее
эвристически строится автомат.
К автоматной программе, как правило, предъявляются два требования:
- непротиворечивость – не должно быть двух переходов, исходящих из одного состояния
управляющего автомата и одновременно выполнимых при некоторой комбинации события
и входных переменных;
- полнота – любой комбинации события и входных переменных должен соответствовать
переход в каждом состоянии.
В работе проводится экспериментальное исследование метода построения автоматных
программ, удовлетворяющих требованию непротиворечивости, но не удовлетворяющих
требованию полноты.