Ciągły automat przestrzenny

W teorii automatów (dziedzina informatyki ) ciągłe automaty przestrzenne , w przeciwieństwie do automatów komórkowych , mają kontinuum lokalizacji, podczas gdy stan lokalizacji nadal jest dowolną ze skończonej liczby liczb rzeczywistych . Czas może być również ciągły iw tym przypadku stan ewoluuje zgodnie z równaniami różniczkowymi .

Jednym z ważnych przykładów są tekstury reakcyjno-dyfuzyjne , równania różniczkowe zaproponowane przez Alana Turinga w celu wyjaśnienia, w jaki sposób reakcje chemiczne mogą tworzyć paski na zebrach i plamy na lampartach. Kiedy są one przybliżone przez CA, takie CA często dają podobne wzorce. Innym ważnym przykładem są pola neuronowe, które są granicą kontinuum sieci neuronowych , w których średnie szybkości odpalania ewoluują w oparciu o równania różniczkowo-całkowe . Takie modele demonstrują formowanie się wzorców czasoprzestrzennych , zlokalizowane stany i fale przemieszczające się . Zostały one wykorzystane jako modele korowych stanów pamięci i halucynacji wzrokowych.

MacLennan [1] uważa ciągłe automaty przestrzenne za model obliczeń i wykazał, że mogą one implementować uniwersalność Turinga.

Zobacz też