Outline
for a Paper on Oyts Summer '06 |
by
Zweibieren |
Physpics |
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 |