A Note on Non-Closure Property of Sublogarithmic Space-Bounded 1-Inkdot Alternating Pushdown Automata with Only Existential （Universal） States

摘要

1-inkdot 轮流出现推 down 自动机是有至多在输入上标记 1 磁带房间的另外的力量的稍微修改的轮流出现的推 down 自动机(与一个墨水点) 一次。这篇论文调查轮流出现的对数的围住空间的 1-inkdot 在自动机下面推与的潜水艇的闭包特性仅仅存在(通用) 状态，；例如，为任何功能 L (n) 显示出那以便 L (n) ≥记载木头 nn；L (n)= o (日志 n ) ，集合的类接受了由弱(强烈) L (n) 围住空间的 1-inkdot 双向轮流出现推 down 自动机与仅仅存在(通用) 状态没与正规集在并置下面被关上，保存长度的同形，；Kleene 闭合。