Paterson's worms

Paterson's Worms are a family of Turing machines devised in 1971 by Mike Paterson and John Horton Conway to model the behaviour and feeding patterns of certain prehistoric worms. In the model a worm moves between points on a triangular grid along line segments, representing food. Its turnings are determined by the configuration of eaten and uneaten line segments adjacent to the point the worm is currently on. Despite being governed by simple rules the behaviour of the worms can be extremely complex, and the ultimate fate of two variants is still unknown.

The Worms were studied in the early 1970s by Paterson, Conway and Michael Beeler, and presented in November 1973 in Martin Gardner's "Mathematical Games" column in "Scientific American".

Rules

The worm starts at some point of an infinite triangular grid. It starts moving along one of the six gridlines and, once it has travelled one unit of distance, it arrives at a new point. The worm then decides, based on the distribution of traversed and untraversed gridlines, what direction it will take. The directions are relative to the worm's point of view. If the worm has not encountered this exact distribution before it may leave along any untraversed gridline. From then on, if it encounters that distribution again, it must move in the same way. If there are no untraversed gridlines available, the worm dies and the simulation ends.

Discussion

There are many different types of worm depending on which direction they turn when encountering a new type of intersection. The different varieties of worm can be classified systematically by assigning every direction a number and listing the choice made every time a new type of intersection is encountered.cite web|url=http://www.maa.org/editorial/mathgames/mathgames_10_24_03.html|title=Paterson's Worms Revisited|last=Pegg|first=Ed|date=October 23, 2003|publisher=MAA Online|language=English|accessdate=2008-08-15]

The six directions are numbered as follows:

So direction 0 indicates the worm continues to travel straight ahead, direction 1 indicates the worm will make a right turn of 60 and similarly for the other directions. The worm cannot travel in direction 3 because that is the gridline it has just traversed. Thus a worm with rule {1,0,5,1} decides to travel in direction 1 the first time it has to make a choice, in direction 0 the next time it has to make a choice and so on. If there is only one available gridline, the worm has no choice but to take it and this is usually not explicitly listed.

A worm whose ruleset begins with 0 continues in a straight line forever. This is a trivial case, so it is usually stipulated that the worm must turn when it encounters a point with only uneaten gridlines. Furthermore, to avoid mirror-image symmetrical duplicates, the worm's first turn must be a right hand turn.A worm dies if it returns to its origin a third time, because there are then no untraversed edges available. Only the origin can be lethal to the worm.cite web|url=http://wso.williams.edu/%7Ebchaffin/patersons_worms/index.htm|title=Paterson's Worms|last=Chaffin|first=Benjamin|accessdate=2008-08-16]

There are 411 different species of worm, of which 329 eventually die. 71 patterns exhibit infinite behaviour, that is, they settle into a repeating pattern that does not return to the origin. The remaining eleven rules exhibit complicated behaviour. They do not die even after many billions of iterations, nor do they adopt an obviously infinite pattern. Their ultimate fate was unknown until 2003 when Benjamin Chaffin developed new methods of solving them. After many hours of computer time, nine of the eleven rules were solved and currently only the worms with rules {1,0,4,2,0,1,5} and {1,0,4,2,0,2} are still unsolved.

History

Certain species of prehistoric worms fed upon sediment at the bottom of ponds. These worms avoided retracing paths they had already travelled because food would be scarce there but, because food occurred in patches, it was in the worm's interest to stay near previous trails. Different species of worm had different innate rules regarding how close to travelled paths to stay, when to turn and how sharp a turn to make. cite web|url=http://dspace.mit.edu/handle/1721.1/6210|title=Paterson's Worm|last=Beeler|first=Michael|date=June 1973|publisher=Massachusets Institute of Technology|accessdate=2008-08-15] In 1969 Raup and Seilacher created computer simulations of the fossilized worm trails, and these simulations inspired Paterson and Conway to develop a simple set of rules to study idealized worms on regular grids.cite web|url=http://mathworld.wolfram.com/PatersonsWorms.html|title=Paterson's Worms|publisher=WolframMathworld|accessdate=2008-08-15]

Conway's original model was a worm on an orthogonal grid but this produced only three different species of worm, all with rather uninteresting behaviour. Paterson considered worms on a triangular grid. Paterson's Worms were presented in November 1973 in Martin Gardner's "Mathematical Games" column in "Scientific American".

ee also

*Langton's Ant
*Turmite
*Turing machine

References