On Multitape Automata
暂无分享,去创建一个
[1] Harry R. Lewis,et al. A new decidable problem, with applications , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).
[2] Malcolm Bird,et al. The Equivalence Problem for Deterministic Two-Tape Automata , 1973, J. Comput. Syst. Sci..
[3] David C. Luckham,et al. On Formalised Computer Programs , 1970, J. Comput. Syst. Sci..
[4] Richard M. Karp,et al. Parallel Program Schemata , 1969, J. Comput. Syst. Sci..
[5] Dana S. Scott,et al. Finite Automata and Their Decision Problems , 1959, IBM J. Res. Dev..