The Computational Power of Turing's Non-Terminating Circular a-Machines

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F13%3A00384527" target="_blank" >RIV/67985807:_____/13:00384527 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

The Computational Power of Turing's Non-Terminating Circular a-Machines

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

The Computational Power of Turing's Non-Terminating Circular a-Machines

Popis výsledku anglicky

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.

Druh

C - Kapitola v odborné knize

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

<a href="/cs/project/GAP202%2F10%2F1333" target="_blank" >GAP202/10/1333: NoSCoM: Nestandardní výpočetní modely a jejich aplikace ve složitosti, lingvistice a učení</a><br>

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2013

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název knihy nebo sborníku

Alan Turing - His Work and Impact

ISBN

978-0-12-386980-7

Počet stran výsledku

6

Strana od-do

80-85

Počet stran knihy

910

Název nakladatele

Elsevier

Místo vydání

Amsterdam

Kód UT WoS kapitoly

—