HAL : hal-00454605, version 1

DOI : 10.1007/s11047-010-9229-6

Fiche détaillée

Récupérer au format BibTeX - EndNote - TEI - RefWorks -

Natural Computing 10, 4 (2011) 1261-1273

Abstract geometrical computation 5: embedding computable analysis

Jérôme Durand-Lose 1

(2011)

Extended Signal machines are proven capable to compute any computable function in the understanding of recursive/computable analysis (CA), represented here with type-2 Turing machines (T2-TM) and signed binary. This relies on a mixed representation of any real number as an integer (in signed binary) plus an exact value in $(-1,1)$. This permits to have only finitely many signals present simultaneously. Extracting a (signed) bit, improving the precision by one bit and iterating a T2-TM only involve standard signal machines. For exact CA-computations, T2-TM have to deal with an infinite entry and to run through infinitely many iterations to produce an infinite output. This infinite duration can be provided by an infinite acceleration construction. Extracting/encoding an infinite sequence of bits is achieved as the limit of the approximation process with a careful handling of accumulations.

1 :	Laboratoire d'Informatique Fondamentale d'Orléans (LIFO)
	Université d'Orléans : EA4022 – Ecole Nationale Supérieure d'Ingénieurs de Bourges

Domaine

:

Informatique/Logique en informatique

Mots Clés : Analog computation – Abstract geometrical computation – Computable analysis – Signal machine – Type-2 Turing machine.

hal-00454605, version 1

http://hal.archives-ouvertes.fr/hal-00454605

oai:hal.archives-ouvertes.fr:hal-00454605

Contributeur : Jérôme Durand-Lose <>

Soumis le : Lundi 8 Février 2010, 22:59:57

Dernière modification le : Lundi 21 Novembre 2011, 22:54:12