On simple one-way multihead pushdown automata

被引:0
作者
Wang, Y
Inoue, K
Ito, A
机构
[1] Yamaguchi Univ, Ube-shi, Japan
关键词
simple multihead pushdown automaton; one-way machine; hierarchy; Kolmogorov complexity;
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
In [2] Ibarra introduced a restricted Version of one-way muItihead pushdown automaton (PDA), called a simple one-way multihead PDA, and showed that such machines recognize only languages with semilinear property. The main result of this paper is that for each k greater than or equal to 1, simple (sensing) one-way (k+1)-head PDA's are more powerful than simple (sensing) one-way k-head PDA's. This paper also investigates closure properties for simple (sensing) one-way muItihead PDA's.
引用
收藏
页码:1613 / 1619
页数:7
相关论文
共 12 条
[1]  
CHEN T, 1988, J COMPUTER SYSTEM SC, V37, P269
[2]   HIERARCHIES OF ONE-WAY MULTIHEAD AUTOMATA LANGUAGES [J].
CHROBAK, M .
THEORETICAL COMPUTER SCIENCE, 1986, 48 (2-3) :153-181
[3]   ONE-WAY SIMPLE MULTIHEAD FINITE AUTOMATA ARE NOT CLOSED UNDER CONCATENATION [J].
DURIS, P ;
HROMKOVIC, J .
THEORETICAL COMPUTER SCIENCE, 1983, 27 (1-2) :121-125
[4]   MULTI-TAPE AND MULTI-HEAD PUSHDOWN AUTOMATA [J].
HARRISON, MA ;
IBARRA, OH .
INFORMATION AND CONTROL, 1968, 13 (05) :433-&
[5]  
HOPDROFT JE, 1979, INTRO AUTOMATA THEOR
[6]  
Ibarra O. H., 1974, Information Processing Letters, V3, P25, DOI 10.1016/0020-0190(74)90043-X
[7]   REVERSAL-BOUNDED MULTICOUNTER MACHINES AND THEIR DECISION PROBLEMS [J].
IBARRA, OH .
JOURNAL OF THE ACM, 1978, 25 (01) :116-133
[8]  
Inoue K., 1979, Theoretical Computer Science, V9, P311, DOI 10.1016/0304-3975(79)90033-1
[9]  
INOUE K, 1978, IEICE T D, V61, P111
[10]  
LI M, 1990, HDB THEORETICAL COMP, VA, P187