=+(1) strongly equivalent if V(q, x, y, q') E QxXxY x Q, S(q, x, y, q') _ ft (q, x, q~) =

w(q, x, y) ;