%0 Journal Article %T A Note on Non-Closure Property of Sublogarithmic Space-Bounded 1-Inkdot Alternating Pushdown Automata with Only Existential (Universal) States %A Jian-Liang Xu %A Yun-Xia Liu %A Tsunehiro Yoshinaga %A
Jian-Liang Xu %A Yun-Xia Liu %A and Tsunehiro Yoshinaga %J 计算机科学技术学报 %D 2006 %I %X 1-inkdot alternating pushdown automaton is a slightly modified alternating pushdown automaton with the additional power of marking at most 1 tape-cell on the input (with an inkdot) once. This paper investigates the closure property of sublogarithmic space-bounded 1-inkdot alternating pushdown automata with only existential (universal) states, and shows, for example, that for any function L(n) such that L(n) ≥ log log nn and L(n) = o(log n), the class of sets accepted by weakly (strongly) L(n) space-bounded 1-inkdot two-way alternating pushdown automata with only existential (universal) states is not closed under concatenation with regular sets, length-preserving homomorphism, and Kleene closure. This work is supported by the National Natural Science Foundation of China under Grant No. 60403012. %K alternating pushdown automata %K 1-inkdot %K sublogarithmic space %K closure property
闭包性 %K 串联 %K 计算机技术 %K 自动机器 %U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=F57FEF5FAEE544283F43708D560ABF1B&aid=BEDF7BCEBFE07985F47313908C0DC069&yid=37904DC365DD7266&vid=659D3B06EBF534A7&iid=B31275AF3241DB2D&sid=CA0B5EEC0BAD621A&eid=88B4027FEBE4F5FF&journal_id=1000-9000&journal_name=计算机科学技术学报&referenced_num=0&reference_num=14