Group G3 Continued

• Let l and m run through all pairs of tape symbols. If there are k tape symbols, then there are k(k+1)/2 pairs.

• For each combination (i,j) and each pair (l,m), add the following clause{S[ i,j,l],S[i,j,m]}

Previous slide

Next slide

Back to first slide

View graphic version