Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 73

Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 80
CiE 2006 - Regular Talk: - Reversible conservative rational abstract geometrical computation is Turing-universal
Computability in Europe 2006
Logical Approaches to Computational Barriers

Print current page  Print this page

Regular Talk:
Reversible conservative rational abstract geometrical computation is Turing-universal


Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249
Speaker: Jérôme Durand-Lose
Presentation: Expose.pdf
Slot: Sat, 17:00-17:20, Faraday J (col. 5)

Abstract

In  Abstract geometrical computation for black hole
computation (MCU '04,  LNCS  3354), the author
provides a setting based on rational numbers,  abstract
geometrical computation, with super-Turing capability.
  In
the present paper, we prove  the Turing computing capability
of reversible conservative abstract geometrical computation.
  Reversibility
allows backtracking as well as saving energy; it corresponds here to
the local reversibility of collisions.
  Conservativeness
corresponds to the preservation of some other energy ensuring that the
number of signals remains bounded.
  We first consider 2-counter automata enhanced with a stack to keep
track of the computation.
  Then we prove that they can be simulated by reversible conservative
signal machines. 


websites: Arnold Beckmann
Warning: date(): It is not safe to rely on the system's timezone settings. You are *required* to use the date.timezone setting or the date_default_timezone_set() function. In case you used any of those methods and you are still getting this warning, you most likely misspelled the timezone identifier. We selected the timezone 'UTC' for now, but please set date.timezone to select your timezone. in /srv/www/htdocs-cs/cie06/conf-code.php on line 135
2006-04-19 Valid HTML 4.01! Valid CSS! eXTReMe Tracker hit counters by www.free-counters.net