Complete Done? Export

File Save Machine Save as Jpeg Load File Input Convert Convert to DFA Minimize DFA Convert to RLG Convert To RE