We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Discrete Mathematics

Title: Exploring Rulial Space: The Case of Turing Machines

Abstract: As an example of the concept of rulial space, we explore the case of simple Turing machines. We construct the rulial multiway graph which represents the behavior of all possible Turing machines with a certain class of rules. This graph (which is a Cayley graph of a "Turing machine group") gives a map of the space of non-deterministic Turing machines. We investigate the subgraph formed by deterministic machines, and explore the relationship to the P vs. NP problem. We also consider the implications of features of rulial space for physics, including estimating the maximum speed \r{ho} in rulial space, relations between rulial black holes and computational reducibility, and interpretations of hypercomputation.
Subjects: Discrete Mathematics (cs.DM); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)
Cite as: arXiv:2101.10907 [cs.DM]
  (or arXiv:2101.10907v1 [cs.DM] for this version)

Submission history

From: Stephen Wolfram [view email]
[v1] Fri, 22 Jan 2021 21:10:49 GMT (46249kb)

Link back to: arXiv, form interface, contact.