A deterministic context-free language L
We show that an auxiliary pushdown store does, in fact, add some power to some restricted families of log(n)-tape bounded Turing machines. The basic result is that every two-way 2k-head nondeterministic finite automation can be replaced by an equivalent two-way k-head nondeterministic pushdown automation. This indicates, also, that every 2k-head nondeterministic finite automation language can be recognized in 0(n
描述了一种确定性的上下文无关语言L 我们证明了辅助下推存储实际上确实为以log(n)-tape限制的图灵机的某些受限系列增加了一些功能。基本结果是,每个双向2k头非确定性有限自动化都可以用等效的双向k头非确定性下推自动化代替。这也表明,每种2k头不确定性有限自动化语言都可以以0(n
机译:Oracle下推式自动机,不确定性可简化性和上下文无关语言家族的层次结构(初级版)
机译:下推自动机,没有明确的不确定性和上下文无关语言的无限层次
机译:一元上下文无关文法和下推自动机,描述复杂性和辅助空间下界
机译:学习构建下推自动机以接受确定性的上下文无关语言
机译:有限逆向自动执行
机译:化学如何计算:非生化化学自动机的语言识别。从有限的自动机到图灵机
机译:一元上下文无关文法和下推自动机,描述复杂性和辅助空间下界