共 17 条
[2]
DALLACHIARA ML, 1986, HDB PHILOS LOGIC, V3, P427
[3]
QUANTUM-THEORY, THE CHURCH-TURING PRINCIPLE AND THE UNIVERSAL QUANTUM COMPUTER
[J].
PROCEEDINGS OF THE ROYAL SOCIETY OF LONDON SERIES A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES,
1985, 400 (1818)
:97-117
[4]
Eilenberg S., 1974, AUTOMATA LANGUAGES M, VA
[7]
Hopcroft J. E., 2007, Introduction to Automata Theory, Languages and Computation
[8]
MOORE C, IN PRESS THEOR COMPU