Intersection-closed full AFL and the recursively enumerable languages
暂无分享,去创建一个
[1] Seymour Ginsburg,et al. Abstract Families of Languages , 1967, SWAT.
[2] M. Minsky. Recursive Unsolvability of Post's Problem of "Tag" and other Topics in Theory of Turing Machines , 1961 .
[3] Jonathan Goldstine. Abstract families of languages generated by bounded languages , 1970 .
[4] Juris Hartmanis,et al. What makes Some Language Theory Problems Undecidable , 1970, J. Comput. Syst. Sci..
[5] Seymour Ginsburg,et al. Muhitape AFA SHEILA GREIBACH University of California at Los Angeles , Los Angeles , California * AND , 2000 .
[6] Dana S. Scott,et al. Finite Automata and Their Decision Problems , 1959, IBM J. Res. Dev..