Reversible conservative rational abstract geometrical computation is Turing universal

Jérôme Durand-Lose

Description

Reversible conservative rational abstract geometrical computation is Turing-universal Reversible conservative rational abstract geometrical computation is Turing-universal Jerome Durand-Lose Laboratoire d'Informatique Fondamentale d'Orleans, Universite d'Orleans, Orleans, FRANCE CiE 2006 – Swansea, Wales UK – 30 June - 5 July, 2006

• universal reversibility


• reversible conservative


• turing


• known universal


• reversible computing devices


• laboratoire d'informatique fondamentale d'orleans


• rational abstract geometrical

Sujets

• Turing (homonymie)

Informations

• Publié par: pefav
• Nombre de lectures: 20
• Langue: English

Extrait

ReversibleconsevrtaviretaoianaltrbstgacmeeoictroclatupmoitaTsing-unurinsaliver

J´eroˆme Durand-Lose

Laboratoired’InformatiqueFondamentaled’Orl´eans, Universite´d’Orl´eans, Orle ´ ans , FRANCE

Reversible conservative rational abstract geometrical computation is Turing-universal

CiE 2006 – Swansea, Wales UK – 30 June - 5 July, 2006

isreveRanaltaoicagtsbrtonsebleciverrvatinurung-ioatsTnioclatupmemoecirtvireasl

Reversibility

1

3

Universality

4

Conclusion

Computation

2

Abstract Geometrical