I need help designing an overlapping 101 sequence detector (mealy machine)? K-maps with equations and logicSim circuit diagram?

\begin{tabular}{c|c|cc|cc|c} & input & present state & Next state & output \\ & x & A(t) & B(t) & A(t+1) & B(t+1) & out \\ \hlinem0 & 0 & 0 & 0 & 0 & 0 & 0 \\ m1 & 0 & 0 & 1 & 1 & 0 & 0 \\ m2 & 0 & 1 & 0 & 0 & 0 & 0 \\ m3 & 0 & 1 & 1 & x & x & x \\ m4 & 1 & 0 & 0 & 0 & 1 & 0 \\ m5 & 1 & 0 & 1 & 0 & 1 & 0 \\ m4 & 1 & 1 & 0 & 0 & 1 & 1 \\ m7 & 1 & 1 & 1 & x & x & x \end{tabular}