因为在这个状态图中，输出信号写在圆圈外了，表示不但与状态有关，还与输入信号有关系，所以是Mealy型，这个说法是否正确