Elementær cellulær automat

En elementær cellulær automat  er en cellulær automat med en endimensionel række af celler i form af et endeløst bånd på begge sider, som har to mulige celletilstande (0 og 1, "død" og "levende", "tom" og "udfyldt") og en regel for bestemmelse af cellens tilstand i det næste trin, der kun bruger cellens tilstand og dens to naboer i det aktuelle trin. Generelt er sådanne automater blandt de enklest mulige cellulære automater, men under visse regler viser de kompleks adfærd; Brug af regel 110 fører således til en Turing-komplet automat.

Wolfram-kode

I alt er der mulige kombinationer af cellens tilstand og dens to naboers tilstande. Reglen, der definerer den elementære cellulære automat, skal angive den næste tilstand (0 eller 1) for hvert af disse mulige tilfælde, så det samlede antal regler . Stephen Wolfram foreslog et nummereringsskema for disse regler, kendt som Wolfram - koden , som kortlægger hver regel til et tal mellem 1 og 255. Dette system blev først udgivet af Wolfram i et papir fra 1983 [1] og blev senere brugt i hans bog A New Kind of Science " ( Eng. Science of a new type ). [2]  

For at få Wolfram-koden skal du nedskrive de mulige konfigurationer (111, 110, ..., 001, 000) i faldende rækkefølge, skrive de tilsvarende tilstande ud under dem og fortolke den resulterende sekvens af nuller og enere som et tal i det binære talsystem . For eksempel resulterer følgende skema i kode svarende til regel 110 :

nuværende stater 111 110 101 100 011 010 001 000
fremtidige tilstand 0 en en 0 en en en 0

Refleksioner og tilføjelser

Nogle af de 256 regler er trivielt ækvivalente med hinanden på grund af tilstedeværelsen af ​​to slags transformationer. Den første er en refleksion om den lodrette akse, hvor venstre og højre naboer byttes om, og en spejlet regel opnås .  For eksempel bliver regel 110 til regel 118:

nuværende stater 111 110 101 100 011 010 001 000
fremtidige tilstand 0 en en en 0 en en 0

Blandt de 256 regler er der 64 spejlsymmetriske ( eng.  amphichiral ).

Den anden type transformation er udskiftningen af ​​rollerne 0 og 1 i definitionen, som giver en ekstra regel ( engelsk  komplementær regel ). For eksempel bliver regel 118 til regel 137:

nuværende stater 111 110 101 100 011 010 001 000
fremtidige tilstand en 0 0 0 en 0 0 en

Kun 16 regler ud af 256 falder sammen med deres tilføjelser. Op til dette par af transformationer (inklusive dem, der anvendes samtidigt - rækkefølgen er ikke vigtig), er der 88 ikke-ækvivalente elementære cellulære automater. [3]

Forskningsmetoder

Den enkleste konfiguration

En af metoderne til at studere elementære cellulære automater er at overveje udviklingen af ​​den enkleste indledende konfiguration, det vil sige kun bestående af én levende (indeholdende 1) celle. Hvis reglen har en lige Wolfram-kode, så er der ingen spontan generering af liv (kombinationen 000 giver ikke 1 i midten i næste generation), og derfor har hver tilstand af den simpleste konfiguration et endeligt tal, der ikke er nul celler og kan fortolkes som et tal i binær notation.[ hvordan? ] Rækkefølgen af ​​disse tal definerer en genererende funktion , som er rationel , det vil sige forholdet mellem to polynomier , og ofte har en relativt simpel form.

Tilfældige konfigurationer

Det er også nyttigt at overveje udviklingen af ​​tilfældige indledende konfigurationer. For at gøre dette er der en opdeling i følgende uformelle klasser af cellulære automater , opfundet af Wolfram: [4]

Tvetydige tilfælde

Nogle regler kan ikke entydigt tildeles en af ​​klasserne, for eksempel:

  • 62: tilfældige strukturer interagerer på komplekse måder, men har en tendens til at ødelægge hinanden; som et resultat, hvis du starter med en tilfældig konfiguration, vil adfærdskarakteristikken for klasse 4 vises i første omgang, men i sidste ende, med stor sandsynlighed, vil der være en cyklisk eller stabil tilstand, som i klasse 2 automater.
  • 73: kombination 0110 bevares i de næste generationer, hvilket skaber vægge, der blokerer for bevægelse af information; dette fører til gentagelse af kombinationer mellem vægge, dvs. som klasse 2 adfærd; forbuddet mod indledende kombinationer med blokke med et lige antal på hinanden følgende nuller og enere fører imidlertid til adfærd typisk for klasse 3-automater.
  • 54: klasse 4, men Turing fuldstændighed ukendt.

Noter

  1. Wolfram, Stephen. Statistical Mechanics of Cellular Automata  (engelsk)  // Reviews of Modern Physics  : tidsskrift. - 1983. - Juli ( bind 55 ). - s. 601-644 . - doi : 10.1103/RevModPhys.55.601 . - .
  2. Wolfram, Stephen, A New Kind of Science . Wolfram Media, Inc. 14. maj 2002. ISBN 1-57955-008-8
  3. Elementær Cellular Automata. Regelegenskaber: Tilsvarende regler i Wolfram Atlas of Simple Programs
  4. Stephan Wolfram, A New Kind of Science , s. 223.

Links