File

• Save Machine
• Save as Jpeg
• Load File

Convert

• Convert to DFA
• Minimize DFA
• Convert to RLG
• Convert To RE