Skip to main content

Exploring Mobile Automata with Non-Local Rules

This summer, I had the incredible opportunity to attend the Wolfram High School Summer Research Program. Interested in ruliology, I focused my project on mobile automata, a type of simple program similar to cellular automata.

Mobile Automata with Non-Local Rules

In cellular automata, all cells update in parallel according to a set of rules, whereas mobile automata feature a single active cell that updates at each iteration. The rules for mobile automata dictate the new state of the active cell and its movement. These rules consider the states of the active cell and its immediate neighbors, determining the new color of the active cell and whether it moves to the left or right.


Traditionally, mobile automata involve the active cell interacting with its immediate left and right neighbors. However, in my project, I explored the effects of non-local interactions, where the dependent cells are farther away from the active cell. For instance, I examined scenarios where the dependent cells were two cells to the left and three cells to the right of the active cell.


Mobile automata can also have rules that increase the number of active cells. By implementing non-local rules in those types of rules as well, I was able to find immense complexity from a simple set of rules. Here is a picture from my project, where the black dots symbolize the active cells and the numbers on top represent the dependent cell ranges.

Some Possible Philosophical Implications


Exploring mobile automata with non-local rules opens up fascinating philosophical questions about the nature of complexity and emergence. One key question is how simple rules can lead to highly complex behaviors. This ties into the broader philosophical debate about reductionism and emergence. Can the behavior of a complex system be fully understood by examining its parts, or does the system exhibit properties that are not present in its individual components?


Furthermore, this research touches on the concept of interconnectedness. In mobile automata with non-local rules, the state of the active cell depends on cells that are not immediately adjacent, suggesting that even distant elements in a system can have significant impacts on its behavior. This idea resonates with philosophical discussions about the interconnectedness of all things in the universe, where actions in one part of a system can have far-reaching effects. This could also have implications in nonlocality seen in systems in quantum mechanics.


For More Information


For a more in-depth dive into mobile automata with non-local rules, you can check out my computational essay in the form of a Wolfram Community post here: https://community.wolfram.com/groups/-/m/t/3214519?p_p_auth=z3DG3Bp8


This essay was the final product of the whole program so it includes all of my findings and complexity regarding mobile automata with non-local rules.

Comments

Popular posts from this blog

Examining Vagueness in Logic and Science Using the Sorites Paradox

Imagine you have a heap of sand. If you remove a single grain of sand, you’d still call it a heap, right? But what if you keep removing grains, one by one? At some point, it seems like you’d be left with just a few grains—and surely, that’s no longer a heap. But where exactly does the heap stop being a heap? This puzzling question is at the heart of the Sorites Paradox, also known as the paradox of the heap. This paradox highlights the challenges of dealing with vague concepts, which can be tricky not just in everyday life but also in science. What Is the Sorites Paradox? The Sorites Paradox comes from the Greek word "soros," which means heap. The paradox arises when we try to apply precise logic to vague concepts. In its simplest form, it goes like this: A heap of sand is still a heap if you remove one grain. If you keep removing grains, eventually you’ll be left with just one grain. But according to the first point, even one grain less than a heap should still be a heap, wh

The Mysteries of Gödel's Incompleteness Theorems

Introduction In the realm of philosophy and mathematics, few discoveries have stirred as much intrigue and debate as Kurt Gödel's Incompleteness Theorems. Unveiled in 1931, these theorems not only revolutionized mathematics but also had profound implications for philosophical inquiry. In this post, we'll delve into the heart of Gödel's groundbreaking work and explore its philosophical significance. The Genesis of Gödel's Theorems Kurt Gödel, an Austrian mathematician, shook the foundations of mathematical logic with his Incompleteness Theorems. These theorems addressed the very nature and limits of mathematical proofs, challenging previous assumptions about the foundations of mathematics. The First Incompleteness Theorem The First Incompleteness Theorem states that in any consistent formal system strong enough to express basic arithmetic, there are propositions that are true but cannot be proven within the system. This theorem shattered the hope for a complete and consi