DFA2RE 

> dfa1:=randomDFA(4,3,2):
transitionGraph(dfa1);
DFA2RE(dfa1);
 

Plot_2d
 

RE([`(`, `(`, a3, `+`, a2, `)`, `.`, a3, `+`, `(`, `(`, a3, `+`, a2, `)`, `.`, a1, `)`, `.`, a3, `*`, `.`, `(`, a2, `+`, a1, `)`, `+`, `(`, a1, `+`, `(`, a3, `+`, a2, `)`, `.`, a2, `)`, `.`, `(`, `(`,...
RE([`(`, `(`, a3, `+`, a2, `)`, `.`, a3, `+`, `(`, `(`, a3, `+`, a2, `)`, `.`, a1, `)`, `.`, a3, `*`, `.`, `(`, a2, `+`, a1, `)`, `+`, `(`, a1, `+`, `(`, a3, `+`, a2, `)`, `.`, a2, `)`, `.`, `(`, `(`,...
RE([`(`, `(`, a3, `+`, a2, `)`, `.`, a3, `+`, `(`, `(`, a3, `+`, a2, `)`, `.`, a1, `)`, `.`, a3, `*`, `.`, `(`, a2, `+`, a1, `)`, `+`, `(`, a1, `+`, `(`, a3, `+`, a2, `)`, `.`, a2, `)`, `.`, `(`, `(`,...
RE([`(`, `(`, a3, `+`, a2, `)`, `.`, a3, `+`, `(`, `(`, a3, `+`, a2, `)`, `.`, a1, `)`, `.`, a3, `*`, `.`, `(`, a2, `+`, a1, `)`, `+`, `(`, a1, `+`, `(`, a3, `+`, a2, `)`, `.`, a2, `)`, `.`, `(`, `(`,...
RE([`(`, `(`, a3, `+`, a2, `)`, `.`, a3, `+`, `(`, `(`, a3, `+`, a2, `)`, `.`, a1, `)`, `.`, a3, `*`, `.`, `(`, a2, `+`, a1, `)`, `+`, `(`, a1, `+`, `(`, a3, `+`, a2, `)`, `.`, a2, `)`, `.`, `(`, `(`,...
RE([`(`, `(`, a3, `+`, a2, `)`, `.`, a3, `+`, `(`, `(`, a3, `+`, a2, `)`, `.`, a1, `)`, `.`, a3, `*`, `.`, `(`, a2, `+`, a1, `)`, `+`, `(`, a1, `+`, `(`, a3, `+`, a2, `)`, `.`, a2, `)`, `.`, `(`, `(`,...
 

>