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