Computing with Colored Tangles

Computing with Colored Tangles

We suggest a diagrammatic model of computation based on an axiom of distributivity. A diagram of a decorated colored tangle, similar to those that appear in low dimensional topology, plays the role of a circuit diagram. Equivalent diagrams represent bisimilar computations. We prove that our model of...

Full description

Bibliographic Details
Main Authors: Avishy Y. Carmi, Daniel Moskovich
Format: Article
Language:English
Published: MDPI AG 2015-07-01
Series:Symmetry
Subjects:
diagrammatic algebra
low dimensional topology
computation
Turing machine
interactive proof
Online Access:http://www.mdpi.com/2073-8994/7/3/1289

Internet

http://www.mdpi.com/2073-8994/7/3/1289

Similar Items