generators.tdTransducer("DT0L implementation"):
( { init:1, a:1, b:1, c:1, d:1, line:0, S:0 },
  { line:0, start:3, div:3, divb:3, divc:3, divd:3, c1:1, c2:1, c3:1, S:0 },
  { q },
  {
    q[init[x1]] -> start[c1[q[x1]],c2[q[x1]],c3[q[x1]]],
    q[a[x1]] -> div[q[x1],q[x1],q[x1]],
    q[b[x1]] -> divb[q[x1],q[x1],q[x1]],
    q[c[x1]] -> divc[q[x1],q[x1],q[x1]],
    q[d[x1]] -> divd[q[x1],q[x1],q[x1]],
    q[line] -> line,
    q[S] -> S
  },
  q
)
