generators.tdTransducer:
  (
    { S0:0, Start0:0, TBL_axiom_table_:2, TBL_5:2, bot:0, TBL_4:2, TBL_3:2, TBL_2:2, TBL_1:2, init:1 },
    { -:0, error_no_init:0, NEW_AXIOM:0, A:0, syncinfo:2, S:0, h:2, c:1, proj-1:0, subst:2, b:0, a:0, 2:1, 1:1, v:2 },
    { A, q0, S, NEW_AXIOM },
    {
      q0[init[x1]] -> subst[NEW_AXIOM[x1] , -]
    ,
      A[TBL_1[x1,x2]] -> h[subst[A[x1], 1[proj-1]],subst[A[x2], 2[proj-1]]] weight 1.0
      ,
      A[TBL_2[x1,x2]] -> v[subst[A[x1], 1[proj-1]],subst[A[x2], 2[proj-1]]] weight 1.0
      ,
      A[TBL_3[x1,x2]] -> c[subst[A[x1], 1[proj-1]]] weight 1.0
      ,
      A[TBL_4[x1,x2]] -> a weight 1.0
      ,
      A[TBL_5[x1,x2]] -> b weight 1.0
      ,
      NEW_AXIOM[TBL_axiom_table_[x1,x2]] -> h[subst[A[x1], 1[proj-1]],subst[A[x1], 1[proj-1]]] weight 1.0
      ,
      A[S0] -> syncinfo[A, proj-1],
    A[Start0] -> syncinfo[A, proj-1],
    
      S[S0] -> syncinfo[S, proj-1],
    S[Start0] -> syncinfo[S, proj-1],
    
      NEW_AXIOM[S0] -> syncinfo[NEW_AXIOM, proj-1],
    NEW_AXIOM[Start0] -> syncinfo[NEW_AXIOM, proj-1],
    
   q0[S0] -> error_no_init 
},
    q0
  )