Регулярное выраженив в ДКА

void CF_NFA::CDfaTable::patch_for_loopbacks()
{
  for (size_t i = 0; i < m_cols; ++i) {
    if (m_table[0][i].cell_val.state == 0) continue;
 
    for (size_t j = 1; j < m_rows_real; ++j) {
      if (m_table[j][i].cell_val.state == 0) continue;
 
      //patch!!!!!
      std::vector<word_t> st;
 
      int prev_state = find_way_to_state(j, i, st);
      int curr_state = j;
 
      bool br = false;
      for (std::vector<word_t>::reverse_iterator ri = st.rbegin(); ri != st.rend(); ++ri) {
        if (m_table[curr_state][*ri].cell_val.state == 0) {
          m_table[curr_state][*ri].cell_val.state = m_table[prev_state][*ri].cell_val.state;
          br = true;
          break;
        }
        curr_state = m_table[curr_state][*ri].cell_val.state;
        prev_state = m_table[prev_state][*ri].cell_val.state;
      }
 
      if (!br)
        m_table[curr_state][i].cell_val.state = m_table[j][i].cell_val.state;
    }
  }
 
  for (size_t i = 0; i < m_cols; ++i) {
    if (m_table[0][i].cell_val.state == 0) continue;
 
    for (size_t j = 0; j < m_rows_real; ++j) {
      if (m_table[j][i].cell_val.state != 0) continue;
      m_table[j][i].cell_val.state = m_table[0][i].cell_val.state;
    }
  }
}