A theoretical model of a parallel computer which is subject to various restrictions to make practicable the formal investigation of its computing powers.

A mathematical construction consisting of a system of entities, called cells, whose temporal evolution is governed by a collection of rules, so that its behavior over time may appear highly complex or chaotic.