Turing machine
(cf. Elgot and Robinson (1964), Hartmanis (1971), and in particular Cook-
Rechow
(1973); references at random-access machine). The RASP's finite-state machine...
74 KB (9,526 words) - 14:50, 20 August 2024