共 4 条
[1]
Barwise J., 1977, HDB MATH LOGIC
[2]
Hopcroft J.E., 1979, INTRO AUTOMATA THEOR
[3]
PATERSON MS, 1970, STUD APPL MATH, V49, P105