add comments with points from definition into fsm determinization

adeterminize/src/fsm/FsmDeterminizer.cpp

@@ -42,10 +42,12 @@ Automaton* FsmDeterminizer::determinize()
     this->dfsm = new FSM();
     this->initDeterminization();
     
+    // 1
     const set<State>& q0 = this->nfsm->getInitialStates();
     const State& q0Primed = this->getOrCreateState(q0);
     
     while (true) {
+        // 2
         bool allStatesMarked = true;
         for (const auto& stateIter : this->QPrimed) {
             allStatesMarked &= stateIter.second.isMarked;
@@ -54,6 +56,7 @@ Automaton* FsmDeterminizer::determinize()
             break;
         }
         
+        // 3
         StateData* qPrimed = NULL;
         for (auto& stateIter : this->QPrimed) {
             StateData& stateData = stateIter.second;
@@ -63,6 +66,7 @@ Automaton* FsmDeterminizer::determinize()
             }
         }
         
+        // 3a and 3b
         for (const auto& input : this->nfsm->getInputAlphabet()) {
             const set<State>& nfsmToStates = this->findToStates(qPrimed->originalStates, input);
             if (nfsmToStates.size() > 0) {
@@ -71,12 +75,15 @@ Automaton* FsmDeterminizer::determinize()
                 this->dfsm->addTransition(transition);
             }
         }
-        
+
+        // 3c
         qPrimed->isMarked = true;
     }
     
+    // 4
     this->dfsm->addInitialState(q0Primed);
     
+    // 5
     for (const auto& qPrimedIter : this->QPrimed) {
         const StateData& qPrimed = qPrimedIter.second;
         if (Utils::containFinalState(qPrimed.originalStates, *this->nfsm)) {