diff --git a/alib2algo/src/automaton/run/Accept.cpp b/alib2algo/src/automaton/run/Accept.cpp index 8dd9ad780c21bf6f8808e9f8f80a45ad542f2e64..da4e7e78968b46a865d0b3eb8397002996f8add9 100644 --- a/alib2algo/src/automaton/run/Accept.cpp +++ b/alib2algo/src/automaton/run/Accept.cpp @@ -117,13 +117,13 @@ auto AcceptNFALinearString = Accept::RegistratorWrapper<bool, automaton::NFA, st bool Accept::accept(const automaton::DPDA& automaton, const string::LinearString& string) { automaton::State state = automaton.getInitialState(); - std::deque<alphabet::Symbol> pushdownStore; + std::deque<alphabet::Symbol> pushdownStore({automaton.getInitialSymbol()}); for(const alphabet::Symbol& symbol : string.getContent()) { auto transitions = automaton.getTransitionsFromState(state); auto transition = transitions.begin(); int pushdownStoreSize = pushdownStore.size(); - for(auto transition = transitions.begin(); transition != transitions.end(); transition++) { + for( ; transition != transitions.end(); transition++) { if(std::get<1>(transition->first) != symbol) continue; const std::vector<alphabet::Symbol> & pop = std::get<2>(transition->first);