[cp] LR_1 分析表的生成

昨天剛寫完 SLR

今天晚上大概改了下就變成 LR1 的了 @_@

改的地方有幾個：

1：項目

/*
 * [項目]
 * */
struct Item
{
 Item(int nont,int pro,int dot,int tmnl);
 bool operator == (const Item& itm); // [比較項如上 6/20/2005]
 Item& operator = (const Item& itm);
 operator  string()const; 
 
 int  index_of_nont;     // [該項目所在的非終結符位置]
 int  index_of_pro;     // [該項目對應該非終結符的產生式位置] 
 int  index_of_dot;     // [記錄點的位置]
 int  index_of_terminal;    // [展望字符的下標 6/28/2005] ----相對於 SLR 的改變
};

/*————————————————————————————————————————————/
 * Desc: 生成項目     
 * Parm                                                       
/————————————————————————————————————————————*/
void Grammar::gen_item()
{
 for(unsigned int i=0; i<m_idx_grammar.size(); i++)
 {
  for(unsigned int j=0 ; j<m_idx_grammar[i].size(); j++)
  {
   for(unsigned int x = 0; x<m_idx_grammar[i][j].size()+1; x++)
   {
    /* —— 2005/06/28 ——
     * [如果是第一個項目，則只考慮標記字符]
     * */
    if(i == 0 && j == 0 && x == 0)
    {
     m_items.push_back(Item(i,j,x,this->get_index_of_flagletter()));
    }
    else
    {
     for(int k = 0; k < (int)m_str_terminals.size(); k++)
     {
      m_items.push_back(Item(i,j,x,k));
     }
    }
   }
  }
 }
 debug_out("項目:");
 debug_out(m_items);
}

/*————————————————————————————————————————————/
 * Desc: 獲得項目的信息，以及點的下一位置的符號下標 [暫時不做下標越界判斷]   
 * Parm                                                       
/————————————————————————————————————————————*/
ItemType Grammar::get_info_of_next_index(const Item& item, Index& out_index,First::TypeFirstCollection& out_first)const
{
 /*
  * [如果點的位置在最後，則表示規約項目]
  * */
 if(item.index_of_dot >= (int)m_idx_grammar[item.index_of_nont][item.index_of_pro].size() )
 {
  // [判斷是否爲接受項目]
  if(m_idx_grammar[item.index_of_nont][item.index_of_pro][ item.index_of_dot - 1] == this->get_pre_idx_start() /*獲得開始符號下標,輸入時的而不是擴展後的*/)
  {
   return IT_A;
  }
  return IT_R;
 }
 
 out_index =  this->m_idx_grammar[item.index_of_nont][item.index_of_pro][item.index_of_dot];
 TypeProductionItem new_pro_item;
 new_pro_item.insert(
  new_pro_item.begin(),
  m_idx_grammar[item.index_of_nont][item.index_of_pro].begin()+item.index_of_dot + 1,
  m_idx_grammar[item.index_of_nont][item.index_of_pro].end());
 new_pro_item.push_back(Index( item.index_of_terminal, true) );

 

this->m_first.GetFirst(new_pro_item ,out_first);  // [相對於SLR的增加，求 FIRST 集]
 return IT_S;
}

…… 等幾個地方 :)