digraph finite_state_transducer {
  node [shape = doublecircle]; q0 e29 e30 e31 e32 e33 e34 e35 e36 e37 e38 e39 e40 e41 e42 e43 e44 e45 e46 e47 e48 e49 e50 e51 e52 e53 e54 e55 e56 e57;
  node [shape = circle];
  
  q0 -> q1 [ label = "+N +M : ε" ];
  q0 -> q2 [ label = "+N +F : ε" ];

  q1 -> q3 [ label = "+SG : ε" ];
  q1 -> q4 [ label = "+PL : ε" ];

  q2 -> q5 [ label = "+SG : ε" ];
  q2 -> q6 [ label = "+PL : ε" ];
  
  q3 -> q7 [ label = "+NOM : ε" ];
  q3 -> q8 [ label = "+GEN : ε" ];
  q3 -> q9 [ label = "+DAT : ε" ];
  q3 -> q10 [ label = "+ACC : ε" ];
  q3 -> q11 [ label = "+LOC : ε" ];

  q4 -> q12 [ label = "+NOM : ε" ];
  q4 -> q13 [ label = "+GEN : ε" ];
  q4 -> q14 [ label = "+DAT : ε" ];
  q4 -> q15 [ label = "+ACC : ε" ];
  q4 -> q16 [ label = "+LOC : ε" ];

  q5 -> q17 [ label = "+NOM : ε" ];
  q5 -> q18 [ label = "+GEN : ε" ];
  q5 -> q19 [ label = "+DAT : ε" ];
  q5 -> q20 [ label = "+ACC : ε" ];
  q5 -> q21 [ label = "+LOC : ε" ];

  q6 -> q22 [ label = "+NOM : ε" ];
  q6 -> q23 [ label = "+GEN : ε" ];
  q6 -> q24 [ label = "+DAT : ε" ];
  q6 -> q25 [ label = "+ACC : ε" ];
  q6 -> q26 [ label = "+LOC : ε" ];
  
  q7 -> e23 [ label = "D1" ];
  q7 -> e24 [ label = "D2" ];
  q7 -> e20 [ label = "D3" ];
  q7 -> e28 [ label = "D4" ];
  q7 -> e0 [ label = "D8" ];

  q8 -> e1 [ label = "D1, D2, D3" ];
  q8 -> e28 [ label = "D4" ];
  q8 -> e0 [ label = "D8" ];

  q9 -> e4 [ label = "D1, D2" ];
  q9 -> e18 [ label = "D3" ];
  q9 -> e27 [ label = "D4" ];
  q9 -> e0 [ label = "D8" ];

  q10 -> e25 [ label = "D1, D2, D4" ];
  q10 -> e14 [ label = "D3" ];
  q10 -> e0 [ label = "D8" ];

  q11 -> e2 [ label = "D1, D2" ];
  q11 -> e15 [ label = "D3" ];
  q11 -> e26 [ label = "D4" ];
  q11 -> e0 [ label = "D8" ];

  q12 -> e14 [ label = "D1, D2, D3, D4" ];
  q12 -> e0 [ label = "D8" ];

  q13 -> e25 [ label = "D1, D2, D3, D4" ];
  q13 -> e0 [ label = "D8" ];

  q14 -> e16 [ label = "D1, D2, D3, D4" ];
  q14 -> e0 [ label = "D8" ];

  q15 -> e28 [ label = "D1, D2, D3, D4" ];
  q15 -> e0 [ label = "D8" ];

  q16 -> e22 [ label = "D1, D2, D3, D4" ];
  q16 -> e0 [ label = "D8" ];

  q17 -> e1 [ label = "D5" ];
  q17 -> e8 [ label = "D6" ];
  q17 -> e23 [ label = "D7" ];

  q18 -> e6 [ label = "D5" ];
  q18 -> e12 [ label = "D6" ];
  q18 -> e23 [ label = "D7" ];

  q19 -> e3 [ label = "D5" ];
  q19 -> e10 [ label = "D6" ];
  q19 -> e17 [ label = "D7" ];

  q20 -> e25 [ label = "D5" ];
  q20 -> e14 [ label = "D6, D7" ];

  q21 -> e2 [ label = "D5" ];
  q21 -> e9 [ label = "D6" ];
  q21 -> e15 [ label = "D7" ];

  q22 -> e6 [ label = "D5" ];
  q22 -> e12 [ label = "D6" ];
  q22 -> e20 [ label = "D7" ];

  q23 -> e25 [ label = "D5, D6, D7" ];

  q24 -> e5 [ label = "D5" ];
  q24 -> e11 [ label = "D6" ];
  q24 -> e19 [ label = "D7" ];

  q25 -> e6 [ label = "D5" ];
  q25 -> e12 [ label = "D6" ];
  q25 -> e20 [ label = "D7" ];

  q26 -> e7 [ label = "D5" ];
  q26 -> e13 [ label = "D6" ];
  q26 -> e21 [ label = "D7" ];

  e0 -> e29 [ label = "ε" ];
  e1 -> e30 [ label = "ε : ^a#" ];
  e2 -> e31 [ label = "ε : ^â#" ];
  e3 -> e32 [ label = "ε : ^ai#" ];
  e4 -> e33 [ label = "ε : ^am#" ];
  e5 -> e34 [ label = "ε : ^âm#" ];
  e6 -> e35 [ label = "ε : ^as#" ];
  e7 -> e36 [ label = "ε : ^âs#" ];
  e8 -> e37 [ label = "ε : ^e#" ];
  e9 -> e38 [ label = "ε : ^ç#" ];
  e10 -> e39 [ label = "ε : ^ei#" ];
  e11 -> e40 [ label = "ε : ^çm#" ];
  e12 -> e41 [ label = "ε : ^es#" ];
  e13 -> e42 [ label = "ε : ^çs#" ];
  e14 -> e43 [ label = "ε : ^i#" ];
  e15 -> e44 [ label = "ε : ^î#" ];
  e16 -> e45 [ label = "ε : ^iem#" ];
  e17 -> e46 [ label = "ε : ^ij#" ];
  e18 -> e47 [ label = "ε : ^im#" ];
  e19 -> e48 [ label = "ε : ^îm#" ];
  e20 -> e49 [ label = "ε : ^is#" ];
  e21 -> e50 [ label = "ε : ^îs#" ];
  e22 -> e51 [ label = "ε : ^os#" ];
  e23 -> e52 [ label = "ε : ^s#" ];
  e24 -> e53 [ label = "ε : ^ð#" ];
  e25 -> e54 [ label = "ε : ^u#" ];
  e26 -> e55 [ label = "ε : ^û#" ];
  e27 -> e56 [ label = "ε : ^um#" ];
  e28 -> e57 [ label = "ε : ^us#" ];
}