Stav dette: Автоматное моделирование в задачах исследования сложных систем