/** * @When I run the automaton */ public function iRunTheAutomaton() { $nfa = new NFA(); foreach ($this->startingStates as $state) { $nfa->addStartingState($state); } $this->result = $nfa->run($this->input); }