有限自动机和上下文无关语言

有限自动机是一种单带图灵机，它只允许在给定常数d的前d次访问中重写每个带单元。对于每个d≥2，这些设备都是无上下文语言类的特征。我们研究了2-限制自动机和下推自动机之间的等价性，并比较了它们描述的相对大小。我们证明了模拟2-限制自动机的下推自动机大小的指数上界和下界。在将确定性2-限制自动机转换为确定性下推自动机的情况下，上界是双指数的，我们推测它不能被约化。另一方面，从下推自动机出发，我们可以得到多项式大小的等价2-限制自动机，同时也保持了确定性。从我们的结果来看，确定性2-限制自动机所接受的语言类与确定性上下文无关语言类是一致的。