Logo do repositório
 
A carregar...
Miniatura
Publicação

Robust simulations of Turing machines with analytic maps and flows

Utilize este identificador para referenciar este registo.
Nome:Descrição:Tamanho:Formato: 
05-GCB-stable.pdf130.75 KBAdobe PDF Ver/Abrir

Orientador(es)

Resumo(s)

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.

Descrição

Palavras-chave

Contexto Educativo

Citação

Projetos de investigação

Unidades organizacionais

Fascículo

Editora

B. Cooper, B. Löwe, and L. Torenvliet

Licença CC