Garden of Eden (hücresel otomat) - Garden of Eden (cellular automaton)

Cennet Bahçesi Conway'in Hayat Oyunu, 1971'de R. Banks tarafından keşfedildi.[1] Görüntünün dışındaki hücrelerin tümü ölmüştür (beyaz).
Achim Flammenkamp tarafından bulunan Hayatta bir yetim. Siyah kareler gerekli canlı hücrelerdir; mavi x'ler gerekli ölü hücrelerdir.

İçinde hücresel otomat, bir Cennet Bahçesi öncülü olmayan bir konfigürasyondur. Bu olabilir başlangıç ​​konfigürasyonu Otomatın bir parçası, ancak başka bir şekilde ortaya çıkamaz.John Tukey bu konfigürasyonları, Cennet Bahçesi içinde Semavi dinler, hiçbir yerde yaratılmadı.[2]

Cennet Bahçesi, otomattaki her hücrenin durumuna göre belirlenir (genellikle bir veya iki boyutlu sonsuz kare kafes hücre sayısı). Bununla birlikte, herhangi bir Cennet Bahçesi için sonlu bir model vardır (hücrelerin bir alt kümesi ve durumları yetim) Kalan hücreler nasıl doldurulursa doldurulsun, selefi olmamayla aynı özelliğe sahiptir.Tüm otomatın bir konfigürasyonu, bir yetim içeriyorsa ve ancak bir Cennet Bahçesi'dir.Tek boyutlu hücresel otomatlar için, yetimler ve Bahçeler Eden etkili bir algoritma ile bulunabilir, ancak daha yüksek boyutları bu bir kararsız problem. Bununla birlikte, bilgisayar aramaları bu kalıpları bulmada başarılı olmuştur. Conway'in Hayat Oyunu.

Garden of Eden teoremi Moore ve Myhill kare ızgara üzerinde veya herhangi bir yüksek boyutlu döşeme üzerinde hücresel bir otomat olduğunu iddia eder. Öklid uzayı, bir Cennet Bahçesi vardır ancak ve ancak varsa ikizler, biri diğerinin yerine geçtiğinde aynı ardıllara sahip iki sonlu model.

Tanımlar

Bir hücresel otomat bir hücre ızgarası, her bir hücreye atanabilen sonlu bir durum kümesi ve bir güncelleme kuralı ile tanımlanır. Genellikle, hücre ızgarası bir veya iki boyutlu sonsuzdur. kare kafes. Güncelleme kuralı, her bir hücrenin bir sonraki durumunu, mevcut durumunun ve yakınlardaki belirli diğer hücrelerin mevcut durumlarının bir işlevi olarak belirler. Semt Komşuluk keyfi sonlu bir hücre kümesi olabilir, ancak her iki hücrenin aynı göreceli konumlarda komşuları olmalı ve tüm hücreler aynı güncelleme kuralını kullanmalıdır. konfigürasyon otomat her hücreye bir durumun atanmasıdır.[3]

halef Bir yapılandırma, güncelleme kuralının her hücreye aynı anda uygulanmasıyla oluşturulan başka bir yapılandırmadır.[4] geçiş işlevi otomat her bir yapılandırmayı halefi ile eşleyen işlevdir.[3]Yapılandırmanın halefi ise X konfigürasyon Y, sonra X bir selef nın-nin YBir konfigürasyonun sıfır, bir veya daha fazla öncülü olabilir, ancak her zaman tam olarak bir ardılına sahiptir.[4]Garden of Eden, sıfır öncülü olan bir konfigürasyon olarak tanımlanır.[5]

Bir Desen, belirli bir hücresel otomat için, bu hücrelerin her biri için bir durumla birlikte sonlu bir hücre kümesinden oluşur.[6] Bir konfigürasyon, modeldeki hücrelerin durumları konfigürasyondaki aynı hücrelerin durumlarıyla aynı olduğunda (hücreleri eşleştirmeden önce tercüme etmeden) bir model içerir. Konfigürasyonların öncüllerinin tanımı, modellerin öncüllerine kadar genişletilebilir: bir modelin öncülü, sadece halefi modeli içeren bir konfigürasyondur. Öyleyse yetim, öncülü olmayan bir kalıptır.[6]

Cennet Bahçesi'ni arıyor

Tek boyutlu hücresel otomata için, Gardens of Eden, verimli bir şekilde bulunabilir. algoritma çalışma süresi, otomatın kural tablosu boyutunda polinom olan. Daha yüksek boyutlar için, bir Cennet Bahçesi olup olmadığını belirlemek, kararsız problem Bu, doğru cevabı sonlandırması ve üretmesi garanti edilebilecek bir algoritma olmadığı anlamına gelir.[7] Bununla birlikte, birçok durumda Cennet Bahçesi teoremini (aşağıda) bir çözümün var olduğu sonucuna varmak için kullanmak ve ardından bir çözüm bulmak için bir arama algoritması kullanmak mümkündür.

Bir bilgisayar programının, tüm sonlu kalıpları sistematik olarak inceleyerek, sırayla boyutu artırarak ve gerçekte bir öksüz olup olmadığını belirlemek için her model için olası tüm öncülleri test ederek öksüz kalıpları araştırması mümkün olacaktır. Bununla birlikte, bu şekilde bir Cennet Bahçesi bulmak için üretilmesi gereken desen sayısı, model alanında üsteldir. Bu muazzam sayıda kalıp, bu tür kaba kuvvet arama nispeten küçük desenler için bile çok pahalı.[8]

Jean Hardouin-Duparc (1972–73, 1974 ) öksüz kalıpları bulmak için daha verimli bir hesaplama yaklaşımına öncülük etti. Onun yöntemi teorisine dayanmaktadır resmi diller ve modelin alanı yerine genişliğinde üstel olan bir süre alır. Temel fikir, herhangi bir sabit genişlik için bir yapı oluşturmanın mümkün olmasıdır. kesin olmayan sonlu otomat öncülü olan belirli bir genişlikteki desenleri tanıyan. Bu makineye giriş sembolleri, modelin her satırını açıklar ve makinenin durumları, şimdiye kadar girilmiş olan model parçası için olası öncüllerin yakındaki sıralarını açıklar. Biri bu makineden, başka bir sonlu durum makinesi inşa edebilir. tamamlayıcı küme Belirsiz olmayan sonlu durum makinesini bir deterministik sonlu otomat kullanarak güç seti yapımı ve sonra kabul etme durumlarını tamamlayarak. Tamamlayıcı kümeyi tanıyan bir makine oluşturulduktan sonra, tanıdığı dilin boş olup olmadığını, başlangıç ​​durumundan kabul durumuna kadar bir yol arayarak test edebilir. Bu yol, varsa, öksüz kalıbın satır satır tanımını verir.[9]

Martin Gardner kredi Alvy Ray Smith Cennet Bahçesi teoreminin geçerli olduğu gözlemiyle Conway'in Hayat Oyunu ve bu kural için Cennet Bahçeleri'nin varlığını kanıtlar.Yaşamdaki ilk açık Cennet Bahçesi 9 × 33 dikdörtgen, 1971'de Roger Banks tarafından Cennet Bahçesi olmaya aday olarak belirlendi ve daha sonra kapsamlı bir geriye dönük arama öncekiler için.[1]Daha sonra, Hardouin-Duparc, Conway'in Hayat Oyunu'nda mümkün olan en dar Cennet Bahçelerini bulmak için resmi dil yaklaşımını kullandı. sınırlayıcı kutu çünkü canlı hücreleri sadece altı hücre genişliğinde.[10]

Conway'in Hayat Oyunu'ndaki bilinen en küçük öksüz kalıp (sınırlayıcı kutusunun alanına göre) Nisan 2016'da Steven Eker tarafından bulundu. 57 canlı hücreye sahiptir ve 8 × 12'lik bir dikdörtgene sığar.[11]

Yetimlerin varlığı

Tanım gereği, her yetim bir Cennet Bahçesine aittir: bir yetimi, kalan her hücre için keyfi olarak bir durum seçerek, tüm otomatın bir konfigürasyonuna genişletmek, her zaman bir Cennet Bahçesi üretecektir. Ancak bunun tersi de geçerlidir: Her Cennet Bahçesi en az bir yetim içerir.[12][13]Bunu kanıtlamak için Kari[12] temel alan topolojik bir argüman kullanır Curtis-Hedlund-Lyndon teoremi hücresel otomatların geçiş işlevlerinin tam olarak çeviri değişmez olduğu göre sürekli fonksiyonlar konfigürasyonlar alanında.[14] Burada süreklilik, bir ayrık topoloji otomatın sonlu durum kümesine ve sonra bir ürün topolojisi bir yapı oluşturmak için otomatta her hücre için üründe bir terim ile topolojik uzay noktaları otomatın konfigürasyonlarıdır. Tarafından Tychonoff teoremi bu bir kompakt alan.[12]

Her sonlu model için, modeli içeren konfigürasyonlar kümesi bir açık küme bu topolojide, silindir.[6] Silindirler bir temel topoloji için. Kari'nin gözlemlediği gibi, Gardens of Eden olmayan konfigürasyonların toplamı sadece geçiş fonksiyonunun görüntüsüdür, bu nedenle kapalı harita lemması kompakt alanlar için bir kapalı küme. Buna göre Gardens of Eden seti açık bir settir. Açık olduğu ve silindirler bir temel oluşturduğu için Cennet Bahçeleri seti, bir silindir birliği olarak temsil edilebilir.Bu birleşmedeki silindirlerin her biri yalnızca Cennet Bahçeleri'nden oluşur, bu nedenle her silindiri belirleyen model bir yetim. Cennet Bahçeleri seti boş değilse, bu birliktelikte en az bir silindir olmalı, bu yüzden en az bir yetim olmalı. Ve herhangi bir belirli Cennet Bahçesi bu silindirlerden birine ait olmalı ve bu nedenle bu silindir için öksüzü içermelidir.[12]

Garden of Eden teoremi

Hücresel bir otomatta, iki sonlu model ikizler Gelecekteki konfigürasyonları değiştirmeden biri göründüğü yerde diğerinin yerine geçebilir. Bir hücresel otomat enjekte edici otomatın her bir farklı konfigürasyonu çifti, otomatın bir adımından sonra farklı kalırsa ve eğer ikizleri yoksa yerel olarak enjekte ederse. Bu örten ancak ve ancak her konfigürasyonun bir öncülü varsa; yani Cennet Bahçesi konfigürasyonu yoksa. Hem enjekte edici hem de örten olan bir otomat a tersinir hücresel otomat.[3]

Garden of Eden teoremi, Nedeniyle Edward F. Moore  (1962 ) ve John Myhill  (1963 ), bir hücresel otomatın bir Öklid uzayı yerel olarak enjekte edicidir ancak ve ancak ancak ve ancak kapsayıcı ise. Başka bir deyişle, bir hücresel otomatın bir Cennet Bahçesi olduğunu, ancak ve ancak ikizleri varsa iddia eder. Daha güçlü bir şekilde, yerel olarak enjekte edilmeyen her hücresel otomatın bir öksüz kalıbı vardır. Hemen bir sonuç, enjekte edici bir hücresel otomatın örten olması gerektiğidir. Moore teoremin bir yönünü ispatladı: ikizlerle otomatların öksüzleri var;[2] Myhill, öksüz bir otomatın da ikizleri olduğunu kanıtladı.[15]

Conway'in Hayat Oyunu durumunda, ikizleri bulmak öksüzlere göre çok daha kolay. Örneğin, ölü hücrelerin beşe beş bloğu ve merkez hücresinin canlı olduğu ve kalan hücrelerin ölü olduğu beşe beş blok ikizlerdir: merkez hücrenin durumu, modelin sonraki konfigürasyonlarını etkileyemez. Bu nedenle, bu durumda Cennet Bahçesi teoremi, bir Cennet Bahçesi'nin varlığının, açık bir öksüz kalıp bulmaktan çok daha kolay bir şekilde gösterilmesine izin verir.[16]

Prova taslağı

Teoremin ispatının ana fikri, bir sayma argümanı, herhangi bir yerel enjektivite başarısızlığının (ikiz kalıplar) öksüz kalıba yol açtığını ve bunun tersi olduğunu göstermek için. Daha ayrıntılı olarak, somutluk için, otomatın temelindeki kafesin iki boyutlu bir kare ızgara olduğunu varsayalım. s farklı hücre, ikiz modellerin P ve Q her ikisi de bir n × n kare ve herhangi bir hücrenin komşuluğunun yarıçapının en fazla n. Ardından, bir modele uyan bir model olup olmadığını belirlemek için mn × mn kare bir öksüzdür, yalnızca potansiyel öncüllerin bir alana uyan kısımlarına bakılması gerekir. (m + 2)n × (m + 2)n kare ve desen içermeyen Q. Ama sadece var(sn × n − 1)(m + 2) × (m + 2) bu potansiyel öncüllerden. Yeterince büyük değerler için m bu sayı, sayıdan daha küçük smn × mn potansiyel öksüzler. Bu nedenle, potansiyel öksüzlerden birinin selefi yoktur ve gerçekten öksüzdür; yani, enjekte etmeme, sübjektif olmama anlamına gelir. Tersine (izin verme n boyutu olmak sınırlayıcı kutu Bir yetim için) çok benzer bir sayma argümanı, bir (m + 2)n × (m + 2)n kare ve bir yetim içermeyen, bir içindeki her başlangıç ​​modeline ayrı bir halef sağlamak için çok küçük mn × mn kare, buradan olası başlangıç ​​modellerinden bazılarının ikiz olduğu sonucu çıkar. Bu nedenle, süreksizlik, yerel enjekte etmeme anlamına gelir.[15]

Lokal enjektiviteye karşı enjektivite

Zaman-uzay diyagramı Kural 90, enjekte edici olmamasına rağmen Cennet Bahçesi olmayan. Her satır, zamanın aşağı doğru ilerlediği bir konfigürasyonu gösterir.

Teoremde enjektivite ve yerel enjektivite arasındaki ayrım, lokal olarak enjekte edici olan ancak enjekte edici olmayan hücresel otomatlar olduğu için gereklidir. Bir örnek Kural 90, güncelleme kuralı her bir hücrenin durumunu değiştiren tek boyutlu ikili otomatik özel veya iki komşusundan. Bu otomatta, her devletin dört öncülü vardır, bu nedenle enjekte edici değildir, aynı zamanda Cennet Bahçesi de yoktur.[17]

Hareketsiz durumlarla

Gibi otomatlarda Conway'in Hayat Oyunu, mahallesi tamamen hareketsiz olan hareketsiz bir hücrenin hareketsiz kalacağı özel bir "hareketsiz" durum vardır. Bu durumda, bir "sonlu konfigürasyon", sadece sonlu sayıda hareketsiz hücreye sahip bir konfigürasyon olarak tanımlanabilir. Hareketsiz bir duruma sahip yerel olarak enjekte edilmeyen herhangi bir hücresel otomat, kendileri sonlu konfigürasyonlar olan Gardens of Eden'a sahiptir, örneğin bir öksüz içeren herhangi bir sonlu konfigürasyon. Bir otomatın, yalnızca öncülleri sonlu olmayan sonlu bir konfigürasyona sahip olması da mümkün olabilir (örneğin, Kural 90'da, tek bir canlı hücreye sahip bir konfigürasyon bu özelliğe sahiptir). Bununla birlikte, Cennet Bahçesi teoremi bu tür modellerin varlığını karakterize etmez.[18]

Öklid dışı geometrilerde

Hücresel otomatada hiperbolik düzlem veya daha yüksek boyutlu hiperbolik uzaylarda, Cennet Bahçesi teoreminin ispatındaki sayma argümanı çalışmıyor, çünkü bir bölgenin sınırının bir fonksiyon olarak hacminden daha az hızlı büyümesi Öklid uzaylarının özelliğine dolaylı olarak bağlıdır. yarıçapın. İkizleri olan ancak Cennet Bahçesi olmayan hiperbolik hücresel otomatlar ve Cennet Bahçesi olan ancak ikizleri olmayan diğer hiperbolik hücresel otomatlar vardır; bu otomatlar, örneğin, rotasyonla değişmeyen bir şekilde tanımlanabilir. tek tip hiperbolik döşemeler hangi üçte Heptagonlar her köşede veya dört beşgenler her köşede buluş.[19]

Bununla birlikte, Cennet Bahçesi teoremi, Öklid uzaylarının ötesinde, bir nesnenin unsurları üzerinde tanımlanan hücresel otomata genelleştirilebilir. uygun grup.[20] Cennet Bahçesi teoreminin daha zayıf bir biçimi, her enjekte hücresel otomatın örten olduğunu ileri sürer. Kanıtlanabilir sofic grupları kullanmak Ax-Grothendieck teoremi, cebirsel geometride enjektivite ve bijektivite arasında benzer bir ilişki.[21] Daha genel olarak, bu daha zayıf formun sahip olduğu gruplara Surjunctive gruplar.[22] Surjunctive olmayan bilinen grup örnekleri yoktur.[23]

Kurguda

İçinde Greg Egan romanı Permütasyon Şehri kahramanı, kendisinin bir kopyasının bir simülasyon içinde yaşadığını kanıtlayabileceği bir durum yaratmak için Garden of Eden konfigürasyonunu kullanır. Önceden tüm benzetilmiş kopyaları kendilerini "gerçek dünyanın" bazı varyantlarında bulmuştu; Bir simülasyonda yaşayan simüle edilmiş kopyalara ait anılarına sahip olmalarına rağmen, bu anıların nasıl oluştuğuna dair her zaman daha basit bir açıklama vardı. Garden of Eden konfigürasyonu, akıllıca tasarlanmış bir simülasyon dışında gerçekleşemez. Dini paralellikler kasıtlıdır.[24]

Notlar

  1. ^ a b İçinde Yaşam çizgisi Cilt 3 (Eylül 1971), editör Robert T. Wainwright, Roger Banks ve Steve Ward'ın canlı hücreleri bir Cennet Bahçesi'nin varlığını kanıtladıklarını açıkladı. 9 × 33 dikdörtgen ve Banks tarafından Cennet Bahçesi olduğuna inanılan bir konfigürasyon sundu. İçinde Yaşam çizgisi Cilt 4 (Aralık 1971), Wainwright bir grubun Honeywell yazılımı kullanarak Don Woods Banks'ın yapılandırmasının Garden of Eden olduğunu doğrulamıştı. Ayrıca bakınız Gardner (1983).
  2. ^ a b Moore (1962).
  3. ^ a b c Kari (2012), Bölüm 2.1, "Temel Tanımlar", s. 5–6.
  4. ^ a b Toffoli ve Margolus (1990). Bununla birlikte, Toffoli ve Margolus'un küresel harita olarak geçiş işlevine atıfta bulunduğunu unutmayın.
  5. ^ Kari (2012), s. 10.
  6. ^ a b c Kari (2012), s. 11.
  7. ^ Kari (1990); Kari (1994). Kari'nin ana sonucu, hücresel bir otomatın tersine çevrilebilir olup olmadığını test etmenin karar verilemez olmasıdır, ancak aynı zamanda bir Cennet Bahçesi'nin var olup olmadığını test etmenin kararsız olduğunu da gösterir.
  8. ^ Toffoli ve Margolus (1990): "Bir kişi kaba kuvvet aramasına geri dönmeye istekli olsa bile, uzun bir arama süresi yalnızca birkaç öğe üretecektir ve bunlar bile çoğu zaman oldukça ilgi çekici olmayacaktır."
  9. ^ Hardouin-Duparc (1972–73).
  10. ^ Hardouin-Duparc (1974).
  11. ^ Flammenkamp (2016).
  12. ^ a b c d Kari (2012), Önerme 2, s. 11.
  13. ^ Bu sonucun tek boyutlu durumu Teorem 5.1'dir. Hedlund (1969). Burada verilen daha basit ispatta olduğu gibi, konfigürasyon uzayının kompaktlığını kullanır. Moore ve Myhill, daha önceki çalışmalarında öksüzleri Gardens of Eden'dan ayırt etmediler ve sonuçlarını yalnızca yetimler açısından kanıtladılar.
  14. ^ Hedlund (1969) Teorem 3.4.
  15. ^ a b Myhill (1963).
  16. ^ Gardner (1983).
  17. ^ Sutner (1991).
  18. ^ Amoroso ve Cooper (1970); Skyum (1975).
  19. ^ Margenstern (2009). Margenstern sonucu müşterek olarak kendisine ve Jarkko Kari.
  20. ^ Ceccherini-Silberstein, Machì ve Scarabotti (1999); Capobianco, Guillon ve Kari (2013); Bartholdi ve Kielak (2016).
  21. ^ Gromov (1999).
  22. ^ Gottschalk (1973).
  23. ^ Ceccherini-Silberstein ve Coornaert (2010).
  24. ^ Blackford, Ikin ve McMullen (1999); Hayles (2005).

Referanslar

  • Amoroso, S .; Cooper, G. (1970), "Sonlu konfigürasyonlar için Garden-of-Eden teoremi", American Mathematical Society'nin Bildirileri, 26 (1): 158–164, doi:10.1090 / S0002-9939-1970-0276007-5
  • Bartholdi, Laurent; Kielak, Dawid (2016), Grupların esnekliği, Myhill Teoremi ile karakterize edilir., arXiv:1605.09133
  • Blackford, Russell; Ikin, Van; McMullen, Sean (1999), "Greg Egan", Garip takımyıldızlar: Avustralya bilim kurgu tarihi, Bilim kurgu ve fantazi çalışmalarına katkılar, 80, Greenwood Publishing Group, s.190–200, ISBN  978-0-313-25112-2
  • Capobianco, Silvio; Guillon, Pierre; Kari, Jarkko (2013), "Cennet Bahçesi'nden uzaktaki serseri hücresel otomata", Ayrık Matematik ve Teorik Bilgisayar Bilimleri, 15 (3): 41–60, BAY  3141826
  • Ceccherini-Silberstein, Tullio; Coornaert, Michel (2010), "Surjunctive groups", Hücresel otomata ve gruplar, Matematikte Springer Monografileri, Springer-Verlag, s. 57–75, doi:10.1007/978-3-642-14034-1_3, ISBN  978-3-642-14033-4, BAY  2683112
  • Ceccherini-Silberstein, T. G .; Machì, A .; Scarabotti, F. (1999), "Uygun gruplar ve hücresel otomata", Annales de l'Institut Fourier, 49 (2): 673–685, doi:10.5802 / aif.1686, BAY  1697376
  • Flammenkamp, ​​Achim (Nisan 2016), "Cennet Bahçesi / Yetim", Achim'in Hayat Oyunu Sayfası
  • Gardner, Martin (1983), "Bölüm 20 ve 21: Yaşam Oyunu, Bölüm I ve II" (PDF), Tekerlekler, Yaşam ve Diğer Matematiksel Eğlenceler, W. H. Freeman, s. 214–258; özellikle bkz. s. 230 ve 248
  • Gottschalk, Walter (1973), "Bazı genel dinamik kavramlar", Topolojik Dinamiklerdeki Son Gelişmeler (Proc. Topological Dynamics, Yale Univ., New Haven, Conn., 1972; Gustav Arnold Hedlund onuruna), Matematik Ders Notları, 318, Springer-Verlag, s. 120–125, doi:10.1007 / BFb0061728, BAY  0407821
  • Gromov, M. (1999), "Sembolik cebirsel çeşitlerin endomorfizmleri", Avrupa Matematik Derneği Dergisi, 1 (2): 109–197, doi:10.1007 / PL00011162, BAY  1694588, Zbl  0998.14001
  • Hardouin-Duparc, J. (1972–73), "À la recherche du paradis perdu", Publ. Matematik. Üniv. Bordeaux Année, 4: 51–89
  • Hardouin-Duparc, J. (1974), "Paradis terrestre dans l'automate cellulaire de Conway", Rev. Française Otomat. Informat. Recherche Operationnelle Ser. Rouge, 8 (R-3): 64–71
  • Hartman, Christiaan; Heule, Marijn J. H .; Kwekkeboom, Kees; Noels, Alain (2013), "Cennet Bahçelerinde Simetri", Elektronik Kombinatorik Dergisi, 20 (3): P16, doi:10.37236/2611, BAY  3104514
  • Hayles, N. Katherine (2005), "Öznel kozmoloji ve hesaplama rejimi: Greg Egan'ın kurgusunda aracılık", Annem bir bilgisayardı: dijital konular ve edebi metinlerChicago Press Üniversitesi, s. 214–240, ISBN  978-0-226-32147-9
  • Hedlund, G.A. (1969), "Shift Dinamik Sistemlerin Endomorfizmleri ve Otomorfizmleri", Matematiksel Sistem Teorisi, 3 (4): 320–375, doi:10.1007 / BF01691062
  • Kari, Jarkko (1990), "2D hücresel otomatın tersine çevrilebilirliği karar verilemez", Physica D, 45 (1–3): 379–385, doi:10.1016 / 0167-2789 (90) 90195-U
  • Kari, Jarkko (1994), "Hücresel otomataların tersinirlik ve süreklilik sorunları", Bilgisayar ve Sistem Bilimleri Dergisi, 48 (1): 149–182, doi:10.1016 / S0022-0000 (05) 80025-X, BAY  1259654
  • Kari, Jarkko J. (2012), "Hücresel Otomatın Temel Kavramları", Rozenberg, Grzegorz; Bäck, Thomas; Kok, Joost N. (editörler), Doğal Hesaplama El Kitabı, Springer, s. 3–24, doi:10.1007/978-3-540-92910-9_1
  • Margenstern, Maurice (2009), "Hiperbolik düzlemde hücresel otomata için Cennet Bahçesi teoremleri hakkında", 15. Uluslararası Hücresel Otomata ve Ayrık Kompleks Sistemler ÇalıştayıTeorik Bilgisayar Bilimlerinde Elektronik Notlar, 252, s. 93–102, doi:10.1016 / j.entcs.2009.09.016
  • Moore, E.F. (1962), "Kendini yeniden üreten makine modelleri", Proc. Symp. Uygulamalı matematikUygulamalı Matematik Sempozyumu Bildirileri, 14: 17–33, doi:10.1090 / psapm / 014/9961, ISBN  9780821813140; yeniden basıldı Burks, Arthur W. (1970), Hücresel Otomata Üzerine Yazılar, Illinois Üniversitesi Yayınları, s. 187–203.
  • Myhill, J. (1963), "Moore'un Garden-of-Eden teoreminin tersi", American Mathematical Society'nin Bildirileri, 14: 685–686, doi:10.2307/2034301, JSTOR  2034301; yeniden basıldı Burks, Arthur W. (1970), Hücresel Otomata Üzerine YazılarUniversity of Illinois Press, s. 204–205.
  • Skyum, Sven (1975), "Cennet Bahçesinde Karışıklık", American Mathematical Society'nin Bildirileri, 50 (1): 332–336, doi:10.1090 / S0002-9939-1975-0386350-1
  • Sutner Klaus (1991), "De Bruijn grafikleri ve doğrusal hücresel otomata" (PDF), Karmaşık Sistemler, 5: 19–30, BAY  1116419
  • Toffoli, Tommaso; Margolus, Norman (1990), "Ters çevrilebilir hücresel otomata: bir inceleme", Physica D: Doğrusal Olmayan Olaylar, 45 (1–3): 229–253, doi:10.1016 / 0167-2789 (90) 90185-R, BAY  1094877

Dış bağlantılar