Как стек автоматов с нажатием вниз может принять строку бесконечно большого размера?

Рассмотрим для данного языка L={a^n b^n (степень a n и степень b n) |n›=1}, поэтому в соответствии с языком он должен содержать строки, такие что a и b должны иметь одинаковую частоту в непрерывном мода, теперь предположим, что строка приходит так, что изначально количество a очень велико, тогда как мне хранить такое огромное количество a в стеке, поскольку у нас конечный объем памяти, а позже, когда приходит b, я выталкиваю a по одному .