无穷自动机的几个等价命题

本文证明了具有无穷栈符号的实时确定下推自动机与无穷自动机的等价性，并且将有限状态自动机的Ｍｙｈｉｌｌ－Ｎｅｒｏｄｅ定理推广到了无穷自动机和具有无穷栈符号的实时确定下推自动机。