WEB开发网
开发学院软件开发C++ 确定有穷自动机分析内核 阅读

确定有穷自动机分析内核

 2010-10-15 09:07:59 来源:Web开发网   
核心提示:Route()函数是一个很重要的函数,它负责查阅 DFA 规则表,确定有穷自动机分析内核(2),检索当前状态为 nCurState,并且接受字符 c 的规则,这个时候 Accept() 函数调用 Log() 将这个单词输出,在实际应用中,如果检索到了,则返回下一个状态的编号

Route()函数是一个很重要的函数。它负责查阅 DFA 规则表,检索当前状态为 nCurState,并且接受字符 c 的规则。如果检索到了,则返回下一个状态的编号。例子程序中的实现代码效率不高,因为它采用线性搜索。各位可以将其改为更快的搜索算法。

int CAjaxParserDlg::Route(int nCurState, BYTE c)
{
  int i, nSize;
  nSize = m_ruleArr.GetSize();
  CStateChangeRule rule;
  for(i=0; i<nSize; i++)
  {
    rule = m_ruleArr[i];
    if(rule.nCurState==nCurState
      && InRoute(c, rule.route))
    {
      return rule.nNextState;
    }
  }
  if(nCurState==0)
  {
    Logln("start state, cannot recognize char");
  }
  // return to state 0 the start state
  return 0;
}

Accept()函数比较简单,它负责接受分析得到的单词。如果当前状态是终止状态,并且下一个状态将要转向状态0,则说明现在已经是一个完整的单词了,并且下一个字符将不属于这个单词。这个时候 Accept() 函数调用 Log() 将这个单词输出。在实际应用中,往往需要把单词存放到一个单词数组。

void CAjaxParserDlg::Accept(int nCurrent, int nNext, LPCTSTR pszLine, int nLen)
{
  char psz[256];
  if(nNext==0 && nCurrent!=0)
  {
    sprintf(psz, "Accept word(s:%d)[", nCurrent);
    Log(psz);
    strncpy(psz, pszLine, nLen);
    psz[nLen] = 0;
    Log(psz);
    if(!(m_stateArr[nCurrent].nFlag&STATE_END))
    {
      Logln("]unrecogized char, can''t accept");
    }
    else
    {
      Logln("]");
    }
  }
}

Tags:确定 自动机 分析

编辑录入:爽爽 [复制链接] [打 印]
赞助商链接