generators.tdTransducer("relabelling of Lemma 7.1.7"):
( { F:4, c1:1, c2:1, c3:1, c4:1, S:0, T:0, -:0 },
  { F:4, c1:1, c2:1, c3:1, c4:1, c1i:1, c2i:1, c3i:1, c4i:1, S:0, Si:0, T:0, Ti:0, -:0, sample:0 },
  { q000, q111 },
  { 
    q000[F[x1,x2,x3,x4]] -> F[q000[x1],q000[x2],q000[x3],q000[x4]],
    q000[c1[x1]] -> c1[q000[x1]],
    q000[c2[x1]] -> c2[q000[x1]],
    q000[c3[x1]] -> c3[q000[x1]],
    q000[c4[x1]] -> c4[q111[x1]],
    q000[S] -> S,
    q000[T] -> T,
    q000[-] -> -,
    
    q111[F[x1,x2,x3,x4]] -> F[q111[x1],q111[x2],q111[x3],q111[x4]],
    q111[c1[x1]] -> c1i[q111[x1]],
    q111[c2[x1]] -> c2i[q111[x1]],
    q111[c3[x1]] -> c3i[q111[x1]],
    q111[c4[x1]] -> c4i[q000[x1]],
    q111[S] -> Si,
    q111[T] -> Ti,
    q111[-] -> -
  },
  q000 )
