BROAD SCHEME [NAME = PHRASE Sigma = {OTHER Net:Ft#49,32040 Net:Cn#49,32008} Deterministic Minimized] State 0 Cn to 1 Ft to 1 State 1 [final] Cn to 1 Ft to 1 ---- [NAME = Ft Sigma = {OTHER Net:Cn#49,32008 Net:Vw#49,32096 Net:S1#49,32104 Net:EV#49,31824} Deterministic Minimized] State 0 S1 to 1 Vw to 2 EV to 3 State 2 S1 to 1 Cn to 2 State 5 Vw to 4 Cn to 5 State 7 Vw to 6 Cn to 7 State 8 Cn to 8 Vw to 3 State 1 [final] Vw to 4 Cn to 5 State 3 [final] Vw to 6 Cn to 7 State 4 [final] Vw to 3 Cn to 8 State 6 [final] ---- [NAME = EV Sigma = {OTHER Net:x#46,52176 Net:W#46,52184 Net:Y#46,52192 Net:N#46,52200 Net:L#46,52208 Net:R#46,52216 Net:A#49,31744 Net:O#49,31752 Net:o#49,31760 Net:I#49,31768 Net:i#49,31776 Net:U#49,32176 Net:u#49,31784} Deterministic Minimized] State 0 u to 1 U to 1 i to 1 I to 1 o to 1 O to 1 A to 1 R to 1 L to 1 N to 1 Y to 1 W to 1 x to 1 State 1 [final] ---- [NAME = S1 Sigma = {OTHER Net:PRM#49,32088 Net:Vw#49,32096} Deterministic Minimized] State 0 Vw to 1 State 1 PRM to 2 State 2 [final] ---- ------------------------------- LESS COARSE SCHEME [NAME = F Sigma = {OTHER Net:PRM#49,32088 Net:EV#49,31824 Net:SCD#49,32128 Net:Cn#49,32008 Net:V#49,32200 Net:CDA#49,31832 Net:VL#49,31816 Net:S2#49,32144 Net:ONS#49,32024 Net:S1#49,32104} Deterministic Minimized] State 0 V to 1 S1 to 2 S2 to 2 ONS to 3 VL to 4 EV to 5 State 1 S1 to 2 Cn to 1 S2 to 6 State 2 V to 7 Cn to 8 CDA to 9 EV to 9 State 3 S1 to 2 V to 10 S2 to 2 VL to 4 EV to 5 State 4 V to 11 CDA to 9 Cn to 12 State 5 SCD to 9 PRM to 9 State 6 V to 13 Cn to 14 CDA to 9 EV to 9 State 7 V to 15 CDA to 9 Cn to 16 EV to 9 State 8 V to 7 Cn to 8 EV to 9 State 10 S1 to 2 Cn to 1 S2 to 6 CDA to 17 State 11 CDA to 9 State 12 V to 11 Cn to 12 State 13 V to 15 CDA to 9 Cn to 18 State 14 V to 13 Cn to 14 EV to 9 State 15 CDA to 9 V to 11 Cn to 19 EV to 9 State 16 V to 15 Cn to 16 EV to 9 State 17 S2 to 20 ONS to 21 State 18 V to 15 Cn to 18 State 19 V to 11 Cn to 19 EV to 9 State 20 V to 22 Cn to 20 State 21 S2 to 20 State 22 EV to 9 Cn to 22 State 9 [final] ---- [NAME = CDA Sigma = {OTHER Net:s#49,32000 Net:T#49,31960 Net:vclC#46,52144 Net:d#49,31952 Net:vcC#46,52136 Net:t#49,31992 Net:z#46,52128 Net:k#49,31976 Net:Nas#49,31896 Net:Cn#49,32008} Deterministic Minimized] State 0 k to 1 vclC to 2 vcC to 3 Nas to 4 Cn to 5 State 1 s to 6 State 2 vclC to 7 State 3 vcC to 8 State 4 vclC to 9 vcC to 10 State 6 T to 11 State 11 s to 5 State 5 [final] State 7 [final] s to 5 t to 5 T to 5 State 8 [final] z to 5 d to 5 State 9 [final] s to 5 State 10 [final] z to 5 ---- [NAME = ONS Sigma = {OTHER Net:r#49,31968 Net:p#49,31984 Net:k#49,31976 Net:t#49,31992 Net:l#49,31920 Net:s#49,32000 Net:b#49,31928 Net:g#49,31936 Net:f#49,31944 Net:S#49,32224 Net:d#49,31952 Net:T#49,31960 Net:Cn#49,32008} Deterministic Minimized] State 0 s to 1 b to 2 k to 2 g to 2 f to 2 S to 2 p to 2 d to 3 T to 3 t to 3 Cn to 4 State 1 t to 5 p to 5 k to 5 l to 4 State 2 r to 4 l to 4 State 3 r to 4 State 4 [final] State 5 [final] r to 4 ---- [NAME = EV Sigma = {OTHER Net:x#46,52176 Net:W#46,52184 Net:Y#46,52192 Net:N#46,52200 Net:L#46,52208 Net:R#46,52216 Net:A#49,31744 Net:O#49,31752 Net:o#49,31760 Net:I#49,31768 Net:i#49,31776 Net:U#49,32176 Net:u#49,31784} Deterministic Minimized] State 0 u to 1 U to 1 i to 1 I to 1 o to 1 O to 1 A to 1 R to 1 L to 1 N to 1 Y to 1 W to 1 x to 1 State 1 [final] ---- [NAME = Nas Sigma = {OTHER Net:G#49,31864 Net:m#49,31872 Net:n#49,31880} Deterministic Minimized] State 0 G to 1 m to 1 n to 1 State 1 [final] ---- [NAME = S1 Sigma = {OTHER Net:PRM#49,32088 Net:V#49,32200} Deterministic Minimized] State 0 V to 1 State 1 PRM to 2 State 2 [final] ---- [NAME = S2 Sigma = {OTHER Net:SCD#49,32128 Net:V#49,32200} Deterministic Minimized] State 0 V to 1 State 1 SCD to 2 State 2 [final] ---- [NAME = Un Sigma = {OTHER Net:V#49,32200} Deterministic Minimized] State 0 V to 1 State 1 [final] ----