Transition Graph 

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

`:=`(dfa, DFA({q0, q1, q2, q3, q4}, {a3, a1, a2, a4}, TABLE([(q3, a1) = q1, (q1, a4) = q2, (q3, a3) = q0, (q2, a1) = q3, (q3, a4) = q4, (q2, a4) = q1, (q0, a4) = q0, (q1, a1) = q3, (q4, a3) = q3, (q4,...
`:=`(dfa, DFA({q0, q1, q2, q3, q4}, {a3, a1, a2, a4}, TABLE([(q3, a1) = q1, (q1, a4) = q2, (q3, a3) = q0, (q2, a1) = q3, (q3, a4) = q4, (q2, a4) = q1, (q0, a4) = q0, (q1, a1) = q3, (q4, a3) = q3, (q4,...
`:=`(dfa, DFA({q0, q1, q2, q3, q4}, {a3, a1, a2, a4}, TABLE([(q3, a1) = q1, (q1, a4) = q2, (q3, a3) = q0, (q2, a1) = q3, (q3, a4) = q4, (q2, a4) = q1, (q0, a4) = q0, (q1, a1) = q3, (q4, a3) = q3, (q4,...
`:=`(dfa, DFA({q0, q1, q2, q3, q4}, {a3, a1, a2, a4}, TABLE([(q3, a1) = q1, (q1, a4) = q2, (q3, a3) = q0, (q2, a1) = q3, (q3, a4) = q4, (q2, a4) = q1, (q0, a4) = q0, (q1, a1) = q3, (q4, a3) = q3, (q4,...		 (5.8.1)
 

> transitionGraph(dfa,numpoints=100);
 

Plot_2d
 

>