GraphAutomata Project

###Guide:

• State:
  • Left mouse: create state
• Edge:
  • Create edge: Alt + drag from state to state
  • Change label: click on label
• Verify string: File -> Check string