共 18 条
[1]
Bar-Hillel Yehoshua, 1961, SPRACHTYPOLOGIE UNIV, V14, P143
[2]
BUCHI JR, 1964, ARCH MATH LOQIK GRUN, V6, P91, DOI DOI 10.1007/BF01969548
[3]
Chomsky N., 1959, INFORM CONTROL, V2, P137, DOI 10.1016/S0019-9958(59)90362-6
[4]
CHOMSKY N, 1962, 65 MASS I TECHN QUAR
[5]
Davis M., 1958, COMPUTABILITY UNSOLV
[6]
EVERY J, 1963, THESIS HARVARD U