词条 | Turmite | |||||||||||||||||||||||||||||||||||||||||
释义 |
In computer science, a turmite is a Turing machine which has an orientation as well as a current state and a "tape" that consists of an infinite two-dimensional grid of cells. The terms ant and vant are also used. Langton's ant is a well-known type of turmite defined on the cells of a square grid. Paterson's worms are a type of turmite defined on the edges of an isometric grid. It has been shown that turmites in general are exactly equivalent in power to one-dimensional Turing machines with an infinite tape, as either can simulate the other. HistoryLangton's ants were invented in 1986 and declared "equivalent to Turing machines".[1] Independently, in 1988, Allen H. Brady considered the idea of two-dimensional Turing machines with an orientation and called them "TurNing machines".[2][3]Apparently independently of both of these,[4] Greg Turk investigated the same kind of system and wrote to A. K. Dewdney about them. A. K. Dewdney named them "tur-mites" in his "Computer Recreations" column in Scientific American in 1989.[5] Rudy Rucker relates the story as follows: {{quote|Dewdney reports that, casting about for a name for Turk's creatures, he thought, "Well, they're Turing machines studied by Turk, so they should be tur-something. And they're like little insects, or mites, so I'll call them tur-mites! And that sounds like termites!" With the kind permission of Turk and Dewdney, I'm going to leave out the hyphen, and call them turmites.|Rudy Rucker|Artificial Life Lab[4]}}Relative vs. absolute turmitesTurmites can be categorised as being either relative or absolute. Relative turmites, alternatively known as "Turning machines", have an internal orientation. Langton's Ant is such an example. Relative turmites are, by definition, isotropic; rotating the turmite does not affect its outcome. Relative turmites are so named because the directions are encoded relative to the current orientation, equivalent to using the words "left" or "backwards". Absolute turmites, by comparison, encode their directions in absolute terms: a particular instruction may direct the turmite to move "North". Absolute turmites are two-dimensional analogues of conventional Turing machines, so are occasionally referred to as simply "Two-dimensional Turing machines". The remainder of this article is concerned with the relative case. SpecificationThe following specification is specific to turmites on a two-dimensional square grid, the most studied type of turmite. Turmites on other grids can be specified in a similar fashion. As with Langton's ant, turmites perform the following operations each timestep:
As with Turing machines, the actions are specified by a state transition table listing the current internal state of the turmite and the color of the cell it is currently standing on. For example, the turmite shown in the image at the top of this page is specified by the following table:
The direction to turn is one of L (90° left), R (90° right), N (no turn) and U (180° U-turn). ExamplesStarting from an empty grid or other configurations, the most commonly observed behaviours are chaotic growth, spiral growth and 'highway' construction. Rare examples become periodic after a certain number of steps. Busy Beaver gameAllen H. Brady searched for terminating turmites (the equivalent of busy beavers) and found a 2-state 2-color machine that printed 37 1's before halting, and another that took 121 steps before halting.[3] He also considered turmites that move on a triangular grid, finding several busy beavers here too. Ed Pegg, Jr. considered another approach to the busy beaver game. He suggested turmites that can turn for example both left and right, splitting in two. Turmites that later meet annihilate each other. In this system, a Busy Beaver is one that from a starting pattern of a single turmite lasts the longest before all the turmites annihilate each other.[6]Other gridsFollowing Allen H. Brady's initial work of turmites on a triangular grid, hexagonal tilings have also been explored. Much of this work is due to Tim Hutton, and his results are on the Rule Table Repository. He has also considered Turmites in three dimensions, and collected some preliminary results. Allen H. Brady and Tim Hutton have also investigated one-dimensional relative turmites on the integer lattice, which Brady termed flippers. (One-dimensional absolute turmites are of course simply known as Turing machines.) See also
References1. ^{{cite journal | doi = 10.1016/0167-2789(86)90237-X | last = Langton | first = Chris G. | title = Studying artificial life with cellular automata | year = 1986 | journal = Physica D: Nonlinear Phenomena | volume = 22 | issue = 1–3 | pages = 120–149 | hdl = 2027.42/26022}} 2. ^{{cite book | title=The Universal Turing Machine: A Half-Century Survey | last=Brady | first=Allen H. | chapter=The Busy Beaver Game and the Meaning of Life | editor=Rolf Herken | year=1988 | publisher=Springer-Verlag | isbn=0-19-853741-7}} 3. ^1 {{cite book | title=The Universal Turing Machine: A Half-Century Survey | edition=2nd | last=Brady | first=Allen H. | chapter=The Busy Beaver Game and the Meaning of Life | editor=Rolf Herken|chapterurl=https://books.google.com/books?id=YafIDVd1Z68C&lpg=PP1&ots=MZUbd8ijxj&dq=universal%20turing%20machine%20herken&pg=PA237#v=onepage&q=&f=false | year=1995 | pages=237–254 | publisher=Springer-Verlag | isbn=3-211-82637-8}} 4. ^1 {{cite web|last=Rucker|first=Rudy|title=Artificial Life Lab|url=http://www.cs.sjsu.edu/~rucker/bopbook.htm|accessdate=October 16, 2009}} 5. ^{{cite journal|last=Dewdney|first=A. K. | title=Computer Recreations: Two-dimensional Turing machines and Turmites make tracks on a plane | journal = Scientific American |date=September 1989 | pages=180–183 |volume=261 |doi=10.1038/scientificamerican0989-180}} {{closed access}} 6. ^{{cite web | last = Pegg, Jr. | first = Ed | title = Math Puzzle | url=http://www.mathpuzzle.com/26Mar03.html | accessdate = 15 October 2009}} External links
4 : Artificial life|Models of computation|Cellular automaton rules|Turing machine |
|||||||||||||||||||||||||||||||||||||||||
随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。