answer: The transition table for the next-state values of uv is:

next uv        ab 

	uv 00 01 11 10 

reset	00 00 00 01 01 

run 	01 01 11 01 01 

stop 	11 10 11 01 01 

stop2	10 10 00 01 01 

The Karnaugh maps are taken from this table by splitting the left and right columns apart:

next u       ab 

uv 	00 01 11 10 

00 	0  0  0  0 

01 	0  1  0  0 

11 	1  1  0  0 

10 	1  0  0  0 

next v 	    ab 

uv 	00 01 11 10 

00 	0  0  1  1 

01 	1  1  1  1 

11 	0  1  1  1 

10 	0  0  1  1 

 

From the Karnaugh maps we get: next u = a'b'u + a'bv, next v = a + u'v + bv