Previous results in the literature which describe separation theorems for time bounded complexity classes serve also to separate classes defined by tape bounded auxiliary pushdown automata. Results described here refine these basic relationships between classes defined by tape bounded AuxPDA. It is shown that, for auxiliary PDA fully constructable functions S
文献中描述有时间限制的复杂度类的分离定理的先前结果也可用于分离由磁带限制的辅助下推自动机定义的类。此处描述的结果完善了由磁带限制的AuxPDA定义的类之间的这些基本关系。结果表明,对于辅助PDA,完全可构造的函数S
机译:有时间限制的辅助下推自动机的对称性与不确定性同时发生
机译:有时间限制的辅助下推自动机的对称性与不确定性同时发生
机译:一元上下文无关文法和下推自动机,描述复杂性和辅助空间下界
机译:概率辅助下推自动机类的非随机化
机译:有限逆向自动执行
机译:使用辅助属性在无响应的情况下的某些估计量
机译:对称性与时间有界辅助下推自动机的非确定性相吻合
机译:具有有界回溯的下推自动机