Известные методы автоматической генерации конечных автоматов на основе генетического программирования неэффективны при большом числе входных переменных автомата. Предложен метод, который не имеет указанного недостатка. Предпочтительность применения метода при большом числе входных переменных обоснована теоретически и подтверждена экспериментально. Метод был использован для автоматизации разработки системы управления самолетом на высоком уровне абстракции.
