Animation 

>	dfa:=randomDFA(5,4,2);transitionGraph(dfa);

 

>

dfa10:=mkDFA({q0, q1, q2, q3, q4},{a1, a2, a3, a4},table([(q0, a2) = q0, (q3, a1) = q3, (q4, a2) = q4, (q2, a3) = q0, (q1, a3) = q0, (q3, a4) = q0, (q2, a1) = q4, (q1, a1) = q4, (q3, a2) = q0, (q0, a3) = q3, (q4, a4) = q1, (q0, a1) = q4, (q4, a3) = q3, (q2, a4) = q2, (q4, a1) = q4, (q2, a2) = q1, (q1, a2) = q2, (q3, a3) = q1, (q1, a4) = q2, (q0, a4) = q2]),q0,{q2, q4}); animateDFA(dfa10,[a1,a1,a2,a3,a2,a1,a3,a3,a2],`walk`);walk;

 

>

dfa11:=mkDFA({q0, q1, q2, q3, q4},{a1, a2, a3, a4},table([(q0, a2) = q1, (q3, a1) = q2, (q4, a2) = q4, (q2, a3) = q0, (q1, a3) = q2, (q3, a4) = q1, (q2, a1) = q4, (q1, a1) = q1, (q3, a2) = q2, (q0, a3) = q2, (q4, a4) = q1, (q0, a1) = q4, (q4, a3) = q0, (q2, a4) = q4, (q4, a1) = q0, (q2, a2) = q2, (q1, a2) = q4, (q3, a3) = q0, (q1, a4) = q3, (q0, a4) = q4]),q0,{q0, q1}): animateDFA(dfa11,[a1,a1,a2,a3,a2,a1,a3,a3,a2],`walk`);walk;

 

>	dfa:=randomDFA(6,[0,1],2); transitionGraph(dfa);

 

>

dfa12:=mkDFA({q0, q1, q2, q3, q4, q5},{0, 1},table([(q5, 1) = q5, (q0, 1) = q5, (q0, 0) = q3, (q1, 1) = q0, (q4, 1) = q3, (q4, 0) = q5, (q3, 0) = q1, (q1, 0) = q4, (q3, 1) = q4, (q2, 1) = q1, (q5, 0) = q3, (q2, 0) = q4]),q0,{q0, q3}); w:=[0,1,1,1,1,1,0,1,0,0,0,1,0,1,0]: animateDFA(dfa12,w,`walk`);walk;

 

>

dfa13:=mkDFA({q0, q1, q2, q3, q4, q5},{0, 1},table([(q5, 1) = q3, (q0, 1) = q5, (q0, 0) = q2, (q1, 1) = q5, (q4, 1) = q5, (q4, 0) = q3, (q3, 0) = q3, (q1, 0) = q4, (q3, 1) = q1, (q2, 1) = q5, (q5, 0) = q4, (q2, 0) = q3]),q0,{q0, q5}): w:=[0,1,1,1,1,1,0,1,0,0,0,1,0,1,0]: animateDFA(dfa13,w,`walk`);walk;

 

>	w:=[0,1,1,1,1,1,0,1,0,0,0,1,0,1,0,1]: animateDFA(dfa13,w,`walk`);walk;