Outline for a Paper on Oyts
Summer '06
by ZweibierenTwo full steins of beer
backlink arrow (up and to the right)Physpics

Notes
Paper

Introduction
     strings are simple
     what is simplest?

oyts in brief
     an n-oyt is a featureless object
            with n directed links to other n-oyts
     an n-oyt space is a connected graph of n-oyts
     an oyt-space is not static, but changes constantly
     changes occur because rule engines are associated with some of the oyts
     a rule engine has a set of rules
          each rule is two graphs,
                 a template and a successor
     the engine compares the graph rooted at its associated oyt. When a template matches, the matched graph is replaced with the successor graph.

Literature
    finite state machines
    lisp s-expressions
         "pure" lisp mutates by copying and replacing
         oyt engines are "impure" Lisp
                 the quivalent of rplaca and rplacd
    Conway's Game of Life
    Loop quantum gravity
         oyts can do curved space straightforwardly,
                  but curved space-time is harder
    Seth Lloyd - computing the universe
    ONAG numbers
    COGENT analytic and synthetic assignments

Formal Definition of Oyts
     an n-oyt is a featureless object
          with n directed links to other n-oyts
     a link may be empty or connect to an oyt
     a template T is an acyclic, directed graph whose nodes are n-oyts
     an n-oyt space Ω is a tuple {G, E}
         G is a connected graph of n-oyts
         E is a

Example 1
     circulating engine
Example 2
     expanding space

Simulation of a Turing Machine
An oyt space can perform computation in this sense:
We define a mapping from the initial problem to an oyt space, we define an engine set for the problem, and we define a mapping from a resulting oyt space back to the problem space. Given these definitions, we ce run the computation in the oyt space and observe that the result is identical that from running the computation on the corresponding Turing machine.

Representing the tape, the state machine, and execution

Emulating the Physical World
physics posits many bizarre and unintuitive behaviors
oyts can represent these
     as tutorial tool
     as a model of the physical world
examples
     creating space out of nothing
     inflationary expansion
     curved space
     excess dimensions
     moving particles
     interaction of photons and electrons


Open Questions
     simpler engines
     are multiple engine types needed
     details of template matching:
          simultaneity
          ambiguity resolution
     limiting the number of in-links
     first match vs best match
          vs random choice among all matches
     effects of simlutaneous replacement
          on adjacent oyts



Copyright 2006, Zweibieren
31 Jul 2006  11:04 PM
Page maintained by Zweibieren  two steins of beer