digraph finite_state_transducer {
	node [shape = doublecircle]; q0 q4 q7 q10 q11 q13 q15 q19 q23 q25 q27 q30 q34 q35 q36;
	node [shape = circle];
	
	q0 -> q1 [ label = "+N +M : ε" ];
	q0 -> q16 [ label = "D8" ];
	q0 -> q20 [ label = "+N +F : ε" ];

	q1 -> q2 [ label = "+PL : ε" ];
	q1 -> q5 [ label = "+SG : ε" ];
	
	q2 -> q3 [ label = "D1, D2, D3, D4" ];
	
	q3 -> q4 [ label = "+NOM : ^i#" ];
	q3 -> q4 [ label = "+GEN : ^u#" ];
	q3 -> q4 [ label = "+DAT : ^iem#" ];
	q3 -> q4 [ label = "+ACC : ^us#" ];
	q3 -> q4 [ label = "+LOC : ^os#" ];
	
	q5 -> q6 [ label = "D1" ];
	q5 -> q9 [ label = "D2" ];
	q5 -> q8 [ label = "D1, D2" ];
	q5 -> q12 [ label = "D3" ];
	q5 -> q14 [ label = "D4" ];

	q6 -> q7 [ label = "+NOM : ^s#" ];

	q8 -> q11 [ label = "+GEN : ^a#" ];
	q8 -> q11 [ label = "+DAT : ^am#" ];
	q8 -> q11 [ label = "+ACC : ^u#" ];
	q8 -> q11 [ label = "+LOC : ^ā#" ];

	q9 -> q10 [ label = "+NOM : ^š#" ];

	q12 -> q13 [ label = "+NOM : ^is#" ];
	q12 -> q13 [ label = "+GEN : ^a#" ];
	q12 -> q13 [ label = "+DAT : ^im#" ];
	q12 -> q13 [ label = "+ACC : ^i#" ];
	q12 -> q13 [ label = "+LOC : ^ī#" ];

	q14 -> q15 [ label = "+NOM : ^us#" ];
	q14 -> q15 [ label = "+GEN : ^us#" ];
	q14 -> q15 [ label = "+DAT : ^um#" ];
	q14 -> q15 [ label = "+ACC : ^u#" ];
	q14 -> q15 [ label = "+LOC : ^ū#" ];

	q16 -> q17 [ label = "+N +M : ε" ];

	q17 -> q18 [ label = "+SG : ε" ];
	q17 -> q18 [ label = "+PL : ε" ];

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

	q20 -> q21 [ label = "+SG : ε" ];
	q20 -> q28 [ label = "+PL : ε" ];

	q21 -> q22 [ label = "D5" ];
	q21 -> q24 [ label = "D6" ];
	q21 -> q26 [ label = "D7" ];

	q22 -> q23 [ label = "+NOM : ^a#" ];
	q22 -> q23 [ label = "+GEN : ^as#" ];
	q22 -> q23 [ label = "+DAT : ^ai#" ];
	q22 -> q23 [ label = "+ACC : ^u#" ];
	q22 -> q23 [ label = "+LOC : ^ā#" ];

	q24 -> q25 [ label = "+NOM : ^e#" ];
	q24 -> q25 [ label = "+GEN : ^es#" ];
	q24 -> q25 [ label = "+DAT : ^ei#" ];
	q24 -> q25 [ label = "+ACC : ^i#" ];
	q24 -> q25 [ label = "+LOC : ^ē#" ];

	q26 -> q27 [ label = "+NOM : ^s#" ];
	q26 -> q27 [ label = "+GEN : ^s#" ];
	q26 -> q27 [ label = "+DAT : ^ij#" ];
	q26 -> q27 [ label = "+ACC : ^i#" ];
	q26 -> q27 [ label = "+LOC : ^ī#" ];

	q28 -> q29 [ label = "D5, D6, D7" ];
	q28 -> q31 [ label = "D5" ];
	q28 -> q32 [ label = "D6" ];
	q28 -> q33 [ label = "D7" ];

	q29 -> q30 [ label = "+GEN : ^u#" ];

	q31 -> q34 [ label = "+NOM : ^as#" ];
	q31 -> q34 [ label = "+DAT : ^ām#" ];
	q31 -> q34 [ label = "+ACC : ^as#" ];
	q31 -> q34 [ label = "+LOC : ^ās#" ];

	q32 -> q35 [ label = "+NOM : ^es#" ];
	q32 -> q35 [ label = "+DAT : ^ēm#" ];
	q32 -> q35 [ label = "+ACC : ^es#" ];
	q32 -> q35 [ label = "+LOC : ^ēs#" ];

	q33 -> q36 [ label = "+NOM : ^is#" ];
	q33 -> q36 [ label = "+DAT : ^īm#" ];
	q33 -> q36 [ label = "+ACC : ^is#" ];
	q33 -> q36 [ label = "+LOC : ^īs#" ];
}