Una asignación de probabilidad a bloque de todos los tamaños se llama medida de probabilidad, o simplemente medida. La teoría de estructura local predice, de manera directa, a partir de la descripción de la regla, las propiedades estadísticas invariantes de la misma. Auxiliándose de la extensión de Bayes la teoría de estructura local [2] define la probabilidad de obtener un bloque B' en un tiempo (t+1) de la siguiente manera,
nótese que el exponente 2 en los operadores de truncamiento significa aplicar dicho operador 2 veces y
toma el valor de 1 si al aplicar la regla a un bloque B transforma al bloque B' y cero de lo contrario.
La ecuación (14) realiza la suma de las probabilides de aquellos bloques de tamaño (n+2r) que generen el bloque de tamaño n deseado. El cociente representa la extensión de Bayes, donde se multiplican las probabilidades de los bloques de tamaño n contenidos en el bloque de tamaño (n+2r) y se divide entre el producto de las probabilidades de las intersecciones de dichos bloques de tamaño n.
La teoría de estructura local considera que la probabilidad de un bloque depende sólo de la secuencia de estados de las células que definen el bloque, no de su localización [1].