previous contents index next
(..Declaration Part..) Contents Index (..Declaration Part..)

4.1.2 Space Dimension (DimensionDeclaration)

The first thing we really have to do is to decide in favour of a space, which the CA should be based on. That may sound difficult, but in fact we just have to indicate the dimension of ZZ^n, n in IN, where a standard CA is always located in.

DimensionDeclaration - Syntax:

Syntax: DimensionDeclaration

Here CardConstant - as a positive dimension (!) - has to be a non-zero element without sign of the class IntConstant.

Remark:
There are several reasons why zero cannot be a legal dimension. Nevertheless it is possible to construct such a CA (consisting only of one cell and surrounded by boundary cells). We just take a CA of arbitrary dimension and restrict its range on one cell.


previous contents index next
(..Declaration Part..) Contents Index (..Declaration Part..)