Это модель уже не автомата, а самоорганизующейся системы автоматов, способных строить и переконфигурировать автоматы-подсистемы. Там сложность растёт уже очень нелинейно и вопросы об исключении ошибочных решений очень нетривиальны.