共 10 条
[1]
BARHILLEL P, 1960, 4 HEBR U JER APPL LO
[2]
BUCHE J, 1959, REGULAR CANONICAL ST
[3]
CHOMSKY N, 1956, IRE T INFORM THEOR, V2, P113
[4]
Chomsky N., 1958, INFORM CONTR, V1, P91, DOI DOI 10.1016/S0019-9958(58)90082-2
[5]
Chomsky N., 1959, INFORM CONTROL, V2, P137, DOI 10.1016/S0019-9958(59)90362-6
[6]
Davis M., 1958, COMPUTABILITY UNSOLV
[7]
Naur P., 1960, COMMUN ACM, V3, P299
[9]
Scheinberg S, 1960, INFORM CONTR, V3, P372, DOI 10.1016/s0019-9958(60)90965
[10]
Tarski A., 1955, PACIFIC J MATH, V5, P285, DOI DOI 10.2140/PJM.1955.5.285