generators.tdTransducer:
  (
    { TBL_axiom_table_:2, Start0:0, S0:0, TBL_2:2, init:1, TBL_1:2, bot:0 },
    { -:0, error_no_init:0, NEW_AXIOM:0, syncinfo:2, proj-1:0, subst:2, 2:1, tri2:0, 1:1, p2:0, tri1:0, p1:0, G:4, F:8 },
    { q0, tri2, tri1, NEW_AXIOM },
    {
      q0[init[x1]] -> subst[NEW_AXIOM[x1] , -]
    ,
      tri1[TBL_1[x1,x2]] -> G[subst[tri1[x1], 1[proj-1]],subst[tri1[x2], 2[proj-1]],subst[tri2[x2], 2[proj-1]],subst[tri1[x2], 2[proj-1]]] weight 1.0,
      tri2[TBL_1[x1,x2]] -> G[subst[tri2[x2], 2[proj-1]],subst[tri2[x1], 1[proj-1]],subst[tri1[x1], 1[proj-1]],subst[tri2[x1], 1[proj-1]]] weight 1.0
      ,
      tri1[TBL_2[x1,x2]] -> p1 weight 1.0,
      tri2[TBL_2[x1,x2]] -> p2 weight 1.0
      ,
      NEW_AXIOM[TBL_axiom_table_[x1,x2]] -> F[subst[tri1[x1], 1[proj-1]],subst[tri1[x1], 1[proj-1]],subst[tri1[x1], 1[proj-1]],subst[tri1[x1], 1[proj-1]],subst[tri1[x1], 1[proj-1]],subst[tri1[x1], 1[proj-1]],subst[tri1[x1], 1[proj-1]],subst[tri1[x1], 1[proj-1]]] weight 1.0
      ,
      tri2[S0] -> syncinfo[tri2, proj-1],
    tri2[Start0] -> syncinfo[tri2, proj-1],
    
      tri1[S0] -> syncinfo[tri1, proj-1],
    tri1[Start0] -> syncinfo[tri1, proj-1],
    
      NEW_AXIOM[S0] -> syncinfo[NEW_AXIOM, proj-1],
    NEW_AXIOM[Start0] -> syncinfo[NEW_AXIOM, proj-1],
    
   q0[S0] -> error_no_init 
},
    q0
  )