Аппаратная конструкция для решения проблемы экспоненциального взрыва для одного класса регулярных языков

Известно, что язык, задаваемый регулярным выражением вида $\bigcup_{i=1}^{n}.*\alpha_i.*\beta_i.*$, где $\alpha_i, \beta_i$ — слова над некоторым алфавитом, в общем случае для распознавания конечным детерминированным автоматом требует экспоненциальное по $n$ число состояний. В работе предлагается конструкция структурного автомата, распознающего языки из данного класса и имеющего полиномиальную пространственную сложность.