利用依賴圖消除上下文無關文法中的不可達符號

前言 上下文無關文法中一個符號無用有兩個原因,其一是無法從開始符號到達它,其二是無法從其推導出一個終結字符串。本文重點介紹一種用來消除第一種無用符號的簡便方法——依賴圖。 正文 在介紹消除方法之前,先介紹一下依賴圖的概念。 依賴圖 對於上下文無關文法中的依賴圖,其中的頂點表示符號,而從頂點 C C C 到 D D D 之間存在邊當且僅當存在如下形式的生成式 C → x D y C\rightarr
相關文章
相關標籤/搜索