一叠下推式自动机如何接受一串无限大的字符串？

如何解决一叠下推式自动机如何接受一串无限大的字符串？

考虑给定语言L = {a ^ nb ^ n（a次幂和b次幂n）| n> = 1}，因此根据语言，它必须包含字符串，使得a和b必须相等现在以连续的频率出现，现在假设一个字符串来了，最初a的个数非常大，那么由于我们的内存量有限，我如何将这么大的a数存储到堆栈中，后来当b出现时我弹出a的个数一一。

解决方法

下推式自动机具有无限内存。在它们之间可以转换的状态数量有限，但是堆栈大小是无限的。