# Definition:Conway Life

1. $(X:=\Z^2,$
2. $S_X:=2:=\{0,1\},$
3. $S(0)\in(\Z^2\to 2),$
4. $\Delta:=((0,0),(0,1),(1,1),(1,0),(1,-1),(0,-1),(-1,-1),(-1,0),(-1,1)),$
5. $\delta(m,n_1,n_2,n_3,n_4,n_5,n_6,n_7,n_8):=(m,\sum_{i=1}^8n_i)\in\{(0,3),(1,2),(1,3)\}?1:0)$