Number of the records: 1
Alan Turing - His Work and Impact
- 1.0384527 - ÚI 2014 RIV NL eng M - Monography Chapter
van Leeuwen, J. - Wiedermann, Jiří
The Computational Power of Turing's Non-Terminating Circular a-Machines.
Alan Turing - His Work and Impact. Amsterdam: Elsevier, 2013 - (Cooper, B.; Leeuwen, J.), s. 80-85. ISBN 978-0-12-386980-7
R&D Projects: GA ČR GAP202/10/1333
Institutional research plan: CEZ:AV0Z10300504
Keywords : Turing machine * circular a-machine * red-green Turing machine
Subject RIV: IN - Informatics, Computer Science
A variant of Turing's original a-machines --- the so-called non-terminating circular a-machine --- is shown to be computationally equivalent to a model of unbounded computational processes whose computational power reaches up to higher levels of the arithmetical hierarchy.
Permanent Link: http://hdl.handle.net/11104/0214146
File Download Size Commentary Version Access 0384527.pdf 0 706.2 KB Author´s preprint require
Number of the records: 1