Computation as an Unbounded Process

Počet záznamů: 1

1.

SYSNO ASEP	0368246
Druh ASEP	J - Článek v odborném periodiku
Zařazení RIV	J - Článek v odborném periodiku
Poddruh J	Článek ve WOS
Název	Computation as an Unbounded Process
Tvůrce(i)	van Leeuwen, J. (NL) Wiedermann, Jiří (UIVT-O)_{RID, SAI, ORCID}
Zdroj.dok.	Theoretical Computer Science. - : Elsevier - ISSN 0304-3975 Roč. 429, 20 April (2012), s. 202-212
Poč.str.	11 s.
Jazyk dok.	eng - angličtina
Země vyd.	NL - Nizozemsko
Klíč. slova	arithmetical hierarchy ; hypercomputation ; mind change complexity ; nondeterminism ; relativistic computation ; unbounded computation
Vědní obor RIV	IN - Informatika
CEP	GAP202/10/1333 GA ČR - Grantová agentura ČR
CEZ	AV0Z10300504 - UIVT-O (2005-2011)
UT WOS	000302822300022
EID SCOPUS	84858337195
DOI	10.1016/j.tcs.2011.12.040
Anotace	We develop a model of computation as an unbounded process, measuring complexity by the number of observed behavioural changes during the computation. In a natural way, the model brings effective unbounded computation up to the second level of the Arithmetical Hierarchy, unifying several earlier concepts like trial-and-error predicates and relativistic computing. The roots of the model can be traced back to the circular a-machines already distinguished by Turing in 1936.
Pracoviště	Ústav informatiky
Kontakt	Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
Rok sběru	2013

Počet záznamů: 1