Verilog学习-HDLBits-状态机-二进制补码生成器-米利机

现在我打算用米利机实现功能,对于状态划分有些许疑惑,从状态机功能角度考虑,无非就是对输入取反与否两种状态,但是在Moore机中额外加入了一个状态(第一次遇到1),但在功能上它应该和第一种状态一样(保持不变),它的作用就是描述机器第一次读取到了1,现在把他俩合并了,相比于Moore就实现了快一个周期但这题似乎mealy和Moore界限不是很清晰? 求指教!
代码如下

module top_module (
    input clk,
    input areset,
    input x,
    output z
); 
	parameter s0=2'b00,s1=2'b01;
    reg [1:0]state,next;
    always@(posedge clk, posedge areset)begin
        if (areset)state<=s0;
        else state<=next;
        
    end
    always@(*)begin
        case(state)
            s1:next=s1;
           	s0:next=x?s1:s0;
            
        endcase
    end
    assign z=(state==s0)? x:~x;
endmodule