Počet záznamů: 1
Computation as an Unbounded Process
- 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, ORCIDZdroj.dok. Theoretical Computer Science. - : Elsevier - ISSN 0304-3975
Roč. 429, 20 April (2012), s. 202-212Poč.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 https://doi.org/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