Random DFA: 

> dfa:=randomDFA(5,[`0`,`1`],2,initialState='q0',internalStateStartingSymbol='q');
 

`:=`(dfa, DFA({q0, q1, q2, q3, q4}, {`0`, `1`}, TABLE([(q0, `0`) = q1, (q2, `1`) = q2, (q4, `0`) = q3, (q3, `1`) = q1, (q2, `0`) = q3, (q0, `1`) = q4, (q1, `1`) = q4, (q4, `1`) = q0, (q3, `0`) = q2, (...
`:=`(dfa, DFA({q0, q1, q2, q3, q4}, {`0`, `1`}, TABLE([(q0, `0`) = q1, (q2, `1`) = q2, (q4, `0`) = q3, (q3, `1`) = q1, (q2, `0`) = q3, (q0, `1`) = q4, (q1, `1`) = q4, (q4, `1`) = q0, (q3, `0`) = q2, (...		 (5.1.1)
 

> type(dfa,DFA);
 

true (5.1.2)