昨天刚写完 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;
}
…… 等几个地方 :)