Нижняя оценка на максимальную длину периода выходной последовательности автономного автомата с магазинной памятью

Ранее автором было доказано, что автоматы с магазинной памятью сохраняют периодические последовательности, и была приведена экспоненциальная от характеристик автомата оценка сверху на максимальную длину периода. Далее для случая, когда алфавит магазина состоит из одного символа, автору удалось понизить общую оценку до квадратичной. В данной работе показано, что в случае, когда в магазине автомата имеется хотя бы два символа, то существенно понизить верхнюю оценку нельзя, так как удалось построить примеры автоматов, которые генерируют последовальности с экспоненциальной длиной периода.