共 13 条
[1]
AUTEBERT JM, 1979, RAIRO-INF THEOR APPL, V13, P363
[2]
AUTEBERT JM, 1980, FORMAL LANGUAGE THEO, P89
[3]
Braunholtz C., 1963, AM MATH MON, V70, P675
[4]
Cobham A., 1972, MATH SYSTEMS THEORY, V6, P164, DOI 10.1007/BF01706087
[5]
EHRENFEUCHT A, 1981, LECTURE NOTES COMPUT, V104, P1
[6]
Harrison M., 1978, INTRO FORMAL LANGUAG
[7]
HEDLUND G, 1967, NORD MAT TIDSKR, V16, P148
[8]
MAIN MG, 1982, INFORM PROCESS LETT, P68
[9]
OGDEN W, 1981, WSU CS81080 TECH REP
[10]
PLEASANTS PA, 1970, PROC CAMB PHILOS S-M, V68, P267