generators.tdTransducer("nondeterminism"):
( { a:0, c:1, h:2, v:2 },
  { a:0, b:0, c:1, h:2, v:2 },
  { q },
  { q[c[x1]] -> c[q[x1]],
    q[h[x1,x2]] -> h[q[x1],q[x2]],
    q[v[x1,x2]] -> v[q[x1],q[x2]],
    q[a] -> a,
    q[a] -> b
  },
  q )
