behavioral kI 2 q Y A : Bi u1 q cy r . #) > FQ qI } Y ga _ kI - zero #) - first #) - second #) - ok #) , 2 2 q Y A . ' . | 2 * : state . v 2 > : pr_state > p : 6 : nxt_state FQ p Bi 6 S u1 2 C U o R : * \ a S u1 * C a S Y ] Bi iy o e : v qI U u1 FS FS ma T = qI v } U y T and } r a iy r N! U < J9 a q J9 * 2 : seq Y E q ) _ , [ : A S u1 #* C q o Bi o Bi r < i r i < [ 9 o ! Q : r ! i 9 ) S u1 #* C a Y o " Bi a o # ީ Bi y r < I r I < " a y [ o % 1 : q r I ) S u1 #* C A A o & Bi A q o '
Bi Y r < q ) r ) < & A Y , [ $ o ) ! : , Y , r ( ) $ ) S u1 #* C H! A 8 o * 4 Bi H! @Q o +
