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