• Save Machine
  • Save as Jpeg
  • Convert to DFA
  • Minimize DFA
  • Convert to RLG
  • Convert To RE