The size of the automaton constructed in this way is not an elementary function of the size of the input MSO formula.
Размер автомата, построенного таким способом, не является элементарной функцией от размера входной MSO-формулы.