q 0 | a 0 | v 1 | q' 1 |
: | : | : | : |
q 0 | a n | v n+1 | q' n+1 |
q 1 | a 0 | v n+2 | q' n+2 |
: | : | : | : |
q 1 | a n | v 2n+2 | q' 2n+2 |
: | : | : | : |
: | : | : | : |
q m | a 0 | v mn+m+1 | q' mn+m+1 |
: | : | : | : |
q m | a n | v ( m+1) ( n+1) | q' ( m+1) ( n+1) |
w 1 ( i) | falls i £ m |
w 2 ( i) | sonst |
(a) | ( Q i A j ,Q k A l ) |
(b) | ( Q i A j A t ,A j Q k A l ) | für t=0,...,n |
( Q i A j E,A j Q k A 0 E) | ||
( A u Q i A 0 A t ,A u A 0 Q k A t ) | für u,t=0,...,n | |
(b') | ( EQ i A 0 A t ,EQ k A t ) | für t=0,...,n |
( A u Q i A 0 E,A u A 0 Q k A 0 E) | für u=0,...,n | |
( EQ i A 0 E,EQ k A 0 E) | ||
(c) | ( A u Q i A j ,Q k A u A j ) | für u=0,...,n |
( EQ i A j ,EQ k A 0 A j e) | ||
( A u Q i A 0 A t ,Q k A u A 0 A t ) | für u,t=0,...,n | |
(c') | ( A u Q i A 0 E,Q k A u E) | für u=0,...,n |
( EQ i A 0 A t ,EQ k A 0 A 0 A t ) | für t=0,...,n | |
( EQ i A 0 E,EQ k A 0 E) | ||
( Q i A j ,R) | ||
( A u R,R) | für u=0,...,n | |
(d) | ( ER,R') | |
( R'A t ,R') | für t=0,...,n | |
( R'E,S) | ||
( Q i A j ,S) | ||
(d') | ( A u S,S) | für u=0,...,n |
( SA t ,S) | für t=1,...,n | |