Ways to Compute in Euclidean Frameworks

Abstract : This tutorial presents what kind of computation can be carried out inside a Euclidean space with dedicated primitives---and discrete or hybrid (continuous evolution between discrete transitions) time scales. The presented models can perform Classical (Turing, discrete) computations as well as, for some, hyper and analog computations (thanks to the continuity of space). The first half of the tutorial presents three models of computation based on respectively: ruler and compass, local constraints and emergence of polyhedra/polytopes and piece-wise constant derivative. The other half concentrates on signal machines: line segments are extended and replaced on meeting. These machines are capable hyper-computation and analog computation and to solve PSPACE-problem in ``constant space and time'' though partial fractal generation.
Type de document :
Communication dans un congrès
Matthew J. Patitz; Mike Stannett. 16th International Conference Unconventional Computation and Natural Computation (UCNC 2017), Jun 2017, Fayetteville, AR, United States. Springer, 10240, pp.8-25, Lecture Notes in Computer Science
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01557281
Contributeur : Jérôme Durand-Lose <>
Soumis le : jeudi 6 juillet 2017 - 09:17:40
Dernière modification le : lundi 23 octobre 2017 - 21:02:03

Identifiants

  • HAL Id : hal-01557281, version 1

Collections

Citation

Jérôme Durand-Lose. Ways to Compute in Euclidean Frameworks. Matthew J. Patitz; Mike Stannett. 16th International Conference Unconventional Computation and Natural Computation (UCNC 2017), Jun 2017, Fayetteville, AR, United States. Springer, 10240, pp.8-25, Lecture Notes in Computer Science. 〈hal-01557281〉

Partager

Métriques

Consultations de la notice

52