ALTERNATING SIMPLE MULTIHEAD FINITE AUTOMATA

被引:5
作者
MATSUNO, H [1 ]
INOUE, K [1 ]
TANIGUCHI, H [1 ]
TAKANAMI, I [1 ]
机构
[1] YAMAGUCHI UNIV,FAC ENGN,DEPT ELECTR,UBE,YAMAGUCHI 755,JAPAN
关键词
D O I
10.1016/0304-3975(85)90048-9
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
引用
收藏
页码:291 / 308
页数:18
相关论文
共 21 条
[1]   ALTERNATION [J].
CHANDRA, AK ;
KOZEN, DC ;
STOCKMEYER, LJ .
JOURNAL OF THE ACM, 1981, 28 (01) :114-133
[2]   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
[3]  
GURARI EM, 1982, MATH SYST THEORY, V15, P211
[4]   MULTI-TAPE AND MULTI-HEAD PUSHDOWN AUTOMATA [J].
HARRISON, MA ;
IBARRA, OH .
INFORMATION AND CONTROL, 1968, 13 (05) :433-&
[5]  
Hopcroft J.E., 1979, INTRO AUTOMATA THEOR
[6]  
Ibarra O. H., 1976, Theoretical Computer Science, V2, P271, DOI 10.1016/0304-3975(76)90081-5
[7]  
Ibarra O. H., 1973, Journal of Computer and System Sciences, V7, P28, DOI 10.1016/S0022-0000(73)80048-0
[8]   USEFUL DEVICE FOR SHOWING SOLVABILITY OF SOME DECISION PROBLEMS [J].
IBARRA, OH ;
KIM, CE .
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1976, 13 (02) :153-160
[9]  
INOUE H, 1980, T IECE JAPAN J, V63, P25
[10]  
Inoue K., 1979, Theoretical Computer Science, V9, P311, DOI 10.1016/0304-3975(79)90033-1