Utilize este identificador para referenciar este registo: http://hdl.handle.net/10451/14111
Título: Analog Computers and the Iteration Functional
Autor: Campagnolo, Manuel Lameiras
Moore, Cristopher
Costa, José Félix
Palavras-chave: Analog computation
recursion theory
computable functions
universal computation
Data: Dez-1998
Editora: Department of Informatics, University of Lisbon
Relatório da Série N.º: di-fcul-tr-98-10
Resumo: In this paper we extend the class of differentially algebraic functions computed by Shannon's General Purpose Analog Computer (GPAC). We relax Pour-El's definition of GPAC to obtain new operators and we use recursion theory on the reals to define a new class of analog computable functions. We show that a function F(t,x) which simulates t time-steps of a Turing machine on input x, and more generally a functional that allows us to define the t'th iterate of a definable function, are definable in this system. Therefore, functions like Gamma which are not generable by GPAC become computable in this extension
URI: http://hdl.handle.net/10451/14111
http://repositorio.ul.pt/handle/10455/3009
Aparece nas colecções:FC-DI - Technical Reports

Ficheiros deste registo:
Ficheiro TamanhoFormato 
98-10.ps.gz124,45 kBUnknownVer/Abrir


FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpace
Formato BibTex MendeleyEndnote Degois 

Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.