Utilize este identificador para referenciar este registo: http://hdl.handle.net/10400.1/1008
Título: Robust simulations of Turing machines with analytic maps and flows
Autor: Graça, Daniel
Campagnolo, Manuel
Buescu, Jorge
Data: 2005
Editora: B. Cooper, B. Löwe, and L. Torenvliet
Relatório da Série N.º: Lecture Notes in Computer Science;3526
Resumo: In this paper, we show that closed-form analytic maps and ows can simulate Turing machines in an error-robust manner. The maps and ODEs de ning the ows are explicitly obtained and the simulation is performed in real time.
Peer review: yes
URI: http://hdl.handle.net/10400.1/1008
Versão do Editor: http://www.springerlink.com/content/ucgqkd1h3xdx11e4/
Aparece nas colecções:FCT2-Artigos (em revistas ou actas indexadas)

Ficheiros deste registo:
Ficheiro Descrição TamanhoFormato 
05-GCB-stable.pdf130,75 kBAdobe PDFVer/Abrir


FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpace
Formato BibTex MendeleyEndnote 

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