Sequential dynamical system

Sequential dynamical systems (SDSs) are a class of graph dynamical systems. They are discrete dynamical systems which generalize many aspects of for example classical cellular automata, and they provide a framework for studying asynchronous processes over graphs. The analysis of SDSs uses techniques from combinatorics, abstract algebra, graph theory, dynamical systems and probability theory.
Definition.
An SDS is constructed from the following components:
It is convenient to introduce the "Y"-local maps "Fi" constructed from the vertex functions by
The word "w" specifies the sequence in which the "Y"-local maps are composed to derive the sequential dynamical system map "F": "Kn → Kn" as
If the update sequence is a permutation one frequently speaks of a "permutation SDS" to emphasize this point. 
The "phase space" associated to a sequential dynamical system with map "F": "Kn → Kn" is the finite directed graph with vertex set "Kn" and directed edges ("x", "F"("x")). The structure of the phase space is governed by the properties of the graph "Y", the vertex functions ("fi")"i", and the update sequence "w". A large part of SDS research seeks to infer phase space properties based on the structure of the system constituents.
Example.
Consider the case where "Y" is the graph with vertex set {1,2,3} and undirected edges {1,2}, {1,3} and {2,3} (a triangle or 3-circle) with vertex states from "K" = {0,1}. For vertex functions use the symmetric, boolean function nor : "K3 → K" defined by nor("x","y","z") = (1+"x")(1+"y")(1+"z") with boolean arithmetic. Thus, the only case in which the function nor returns the value 1 is when all the arguments are 0. Pick "w" = (1,2,3) as update sequence. Starting from the initial system state (0,0,0) at time "t" = 0 one computes the state of vertex 1 at time "t"=1 as nor(0,0,0) = 1. The state of vertex 2 at time "t"=1 is nor(1,0,0) = 0. Note that the state of vertex 1 at time "t"=1 is used immediately. Next one obtains the state of vertex 3 at time "t"=1 as nor(1,0,0) = 0. This completes the update sequence, and one concludes that the Nor-SDS map sends the system state (0,0,0) to (1,0,0). The system state (1,0,0) is in turned mapped to (0,1,0) by an application of the SDS map.