共 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