Slashdot Mirror


Universal Turing Machine In Penrose Tile Cellular Automata

New submitter submeta writes "Katsunobu Imai at Hiroshima University has figured out a way to construct a universal Turing machine using cellular automata in a Penrose tile universe. 'Tiles in the first state act as wires that transmit signals between the logic gates, with the signal itself consisting of either a 'front' or 'back' state. Four other states manage the redirecting of the signal within the logic gates, while the final state is simply an unused background to keep the various states separate.' He was not aware of the recent development of the Penrose glider, so he developed this alternative approach."

24 comments

  1. Are there Penrose buckyballs? by G3ckoG33k · · Score: 1

    Are there Penrose "buckyballs", i.e. a version of the buckyball using the Penrose tiling?

    I am not sure if they exist mathematically and have never seen them discussed anywhere.

    1. Re:Are there Penrose buckyballs? by Anonymous Coward · · Score: 0

      Penrose tilings have negative curvature.
      Balls have positive curvature.

      They are opposites.

    2. Re:Are there Penrose buckyballs? by Anonymous Coward · · Score: 0

      Penrose tilings have negative curvature.
      Balls have positive curvature.

      They are opposites.

      But, what if you turn the tiling upside down? ;)

    3. Re:Are there Penrose buckyballs? by Hentes · · Score: 1

      Penrose tilings are flat, hence they can't cover a ball. It's impossible.

    4. Re:Are there Penrose buckyballs? by Anonymous Coward · · Score: 4, Interesting

      No, you can't make a sphere with Penrose tiling. As has already been mentioned, a flat tile can't be used to cover a sphere. But more importantly, there isn't a generalization that will work either. The thing that makes Penrose tiling interesting is that it is aperiodic. No aperiodic pattern can work on a sphere since you necessarily are periodic when you make one complete revolution around any greater circle on a sphere.

    5. Re:Are there Penrose buckyballs? by Anonymous Coward · · Score: 0

      Hexagons are flat too...

    6. Re:Are there Penrose buckyballs? by NoNonAlphaCharsHere · · Score: 1

      Soccer balls are not regular polyhedrons. Nor are they spheres.

    7. Re:Are there Penrose buckyballs? by Mikkeles · · Score: 1

      True, but it be interesting to know if a sphere could be "triangulated" with Penrose tiles.

      --
      Great minds think alike; fools seldom differ.
    8. Re:Are there Penrose buckyballs? by Anonymous Coward · · Score: 0

      Buckyball surfaces are a mix of hexagons and pentagons. It's the pentagons that allow the ball to be non-flat.

  2. Permutation City by Shad0w99 · · Score: 4, Interesting

    Somehow Greg Egan's book "Permutation City" came to my mind when reading this. With his Autoverse representation on cellular automats.

    1. Re:Permutation City by blackpaw · · Score: 1

      Or "diaspora" where I belive he had naturally occurring penrose tiles in an alien biology performing turing calculations

    2. Re:Permutation City by mrsurb · · Score: 1

      His short story "Wang's Carpets" - which then became a chapter in "Diaspora"

  3. 8 states? by Hentes · · Score: 1

    That's not very impressive, especially since he basically just copied the four-state WireWorld rule.

  4. correction by Anonymous Coward · · Score: 0

    Um, I mean, Penrose tilings have zero curvature. I was thinking of thinking of the Poincare disc. Sorry.

  5. There you go by dargaud · · Score: 1

    Previous /. story: "Before we can totally discount the theory that space-time is comprised of Planck-scale pixels, [...]". There you go, you can have Penrose-tiled planck pixels and still move in straight lines. Where do I pick my Nobel ?

    --
    Non-Linux Penguins ?
  6. Universal Turing Machines by 2.7182 · · Score: 2

    There is a reason there are 50 different definitions of computable function - they are not hard to come by. As a professional mathematician/theoretical computer scientist I find it totally unsurprising to find one in the Penrose tiles. If it is useful for something, that's different. But you build almost any sufficiently rich mathematical structure and you can interpret a subset of them as Turing machines.

    1. Re:Universal Turing Machines by Anonymous Coward · · Score: 0

      If you could characterize "sufficiently rich", that might be a more interesting observation.

  7. Impressive by Anonymous Coward · · Score: 0

    Wow !

    Is this a New Kind of Science?
    *irony*

  8. Thanks for posting this story! by EnergyScholar · · Score: 0

    I wish to offer a general apology for the terrible quality of comments on this story. Obviously, most readers failed to even understand what the story was about. I thought the best comment was the snarky 'Is this NKS?' at the end, as this story obviously does tie into NKS. Anyway, thanks, submeta, for posting a fine old skool slashdot story. Let's hope our readership is less ignorant and juvenile next time around.