C^{00}(i, j) = (P_{i−1}.c.Q_{j}^{I} → C^{01}(i, j)) ⊓ (Q_{j−1}.c.P_{i}^{I} → C^{10}(i, j))
C^{01}(i, j) = (P_{i}.r.Q_{j}^{O} → C^{02}(i, j)) ⊓ (Q_{j−1}.c.P_{i}^{I} → C^{11}(i, j))
C^{02}(i, j) = (P_{i}.r.Q_{j}^{I} → C^{03}(i, j)) ⊓ (Q_{j−1}.c.P_{i}^{I} → C^{12}(i, j))
C^{03}(i, j) = (Q_{j}.c.P_{i+1}^{O} → C^{04}(i, j)) ⊓ (Q_{j−1}.c.P_{i}^{I} → C^{13}(i, j))
C^{04}(i, j) = (Q_{j}.c.P_{i+1}^{I} → C^{05}(i, j)) ⊓ (Q_{j−1}.c.P_{i}^{I} → C^{14}(i, j))
C^{05}(i, j) = (Q_{j−1}.c.P_{i}^{I} → C^{15}(i, j))
C^{10}(i, j) = (P_{i−1}.c.Q_{j}^{I} → C^{11}(i, j)) ⊓ (Q_{j}.r.P_{i}^{O} → C^{20}(i, j))
C^{11}(i, j) = (P_{i}.r.Q_{j}^{O} → C^{12}(i, j)) ⊓ (Q_{j}.r.P_{i}^{O} → C^{21}(i, j))
C^{12}(i, j) = (P_{i}.r.Q_{j}^{I} → C^{13}(i, j)) ⊓ (Q_{j}.r.P_{i}^{O} → C^{22}(i, j))
C^{13}(i, j) = (Q_{j}.c.P_{i+1}^{O} → C^{14}(i, j)) ⊓ (Q_{j}.r.P_{i}^{O} → C^{23}(i, j))
C^{14}(i, j) = (Q_{j}.c.P_{i+1}^{I} → C^{15}(i, j)) ⊓ (Q_{j}.r.P_{i}^{O} → C^{24}(i, j))
C^{15}(i, j) = (Q_{j}.r.P_{i}^{O} → C^{25}(i, j))
C^{20}(i, j) = (P_{i−1}.c.Q_{j}^{I} → C^{21}(i, j)) ⊓ (Q_{j}.r.P_{i}^{I} → C^{30}(i, j))
C^{21}(i, j) = (P_{i}.r.Q_{j}^{O} → C^{22}(i, j)) ⊓ (Q_{j}.r.P_{i}^{I} → C^{31}(i, j))
C^{22}(i, j) = (P_{i}.r.Q_{j}^{I} → C^{23}(i, j)) ⊓ (Q_{j}.r.P_{i}^{I} → C^{32}(i, j))
C^{23}(i, j) = (Q_{j}.c.P_{i+1}^{O} → C^{24}(i, j)) ⊓ (Q_{j}.r.P_{i}^{I} → C^{33}(i, j))
C^{24}(i, j) = (Q_{j}.c.P_{i+1}^{I} → C^{25}(i, j)) ⊓ (Q_{j}.r.P_{i}^{I} → C^{34}(i, j))
C^{25}(i, j) = (Q_{j}.r.P_{i}^{I} → C^{35}(i, j))
C^{30}(i, j) = (P_{i−1}.c.Q_{j}^{I} → C^{31}(i, j)) ⊓ (P_{i}.c.Q_{j+1}^{O} → C^{40}(i, j))
C^{31}(i, j) = (P_{i}.r.Q_{j}^{O} → C^{32}(i, j)) ⊓ (P_{i}.c.Q_{j+1}^{O} → C^{41}(i, j))
C^{32}(i, j) = (P_{i}.r.Q_{j}^{I} → C^{33}(i, j)) ⊓ (P_{i}.c.Q_{j+1}^{O} → C^{42}(i, j))
C^{33}(i, j) = (Q_{j}.c.P_{i+1}^{O} → C^{34}(i, j)) ⊓ (P_{i}.c.Q_{j+1}^{O} → C^{43}(i, j))
C^{34}(i, j) = (Q_{j}.c.P_{i+1}^{I} → C^{35}(i, j)) ⊓ (P_{i}.c.Q_{j+1}^{O} → C^{00}(i + 1, j + 1))
C^{35}(i, j) = (P_{i}.c.Q_{j}^{O} → C^{30}(i + 1, j))
C^{40}(i, j) = (P_{i−1}.c.Q_{j}^{I} → C^{41}(i, j)) ⊓ (P_{i}.c.Q_{j+1}^{I} → C^{50}(i, j))
C^{41}(i, j) = (P_{i}.r.Q_{j}^{O} → C^{42}(i, j)) ⊓ (P_{i}.c.Q_{j+1}^{I} → C^{51}(i, j))
C^{42}(i, j) = (P_{i}.r.Q_{j}^{I} → C^{43}(i, j)) ⊓ (P_{i}.c.Q_{j+1}^{I} → C^{52}(i, j))
C^{43}(i, j) = (Q_{j}.c.P_{i+1}^{O} → C^{00}(i + 1, j + 1)) ⊓ (P_{i}.c.Q_{j+1}^{I} → C^{53}(i, j))
C^{50}(i, j) = (P_{i−1}.c.Q_{j}^{I} → C^{51}(i, j))
C^{51}(i, j) = (P_{i}.r.Q_{j}^{O} → C^{52}(i, j))
C^{52}(i, j) = (P_{i}.r.Q_{j}^{I} → C^{53}(i, j))
C^{53}(i, j) = (Q_{j}.c.P_{i}^{O} → C^{03}(i, j + 1))