文章目錄

• • 文法的形式化定義
  • 產生式的簡寫
  • 符號約定
  • 總結

文法的形式化定義

G=（V_T,V_N,P,S）,其中V_T是終結符集合，V_N是非終結符集合（表示語法成分的符號）

V_T∩V_N=?

V_T∪V_N=文法符號集

P是產生式集合，包含了將終結符和非終結符連接成串的方法
產生式的一般形式：
α→β（α定義為β）
①α∈（V_T∪V_N）⁺且α中至少包含V_T中的一個元素，稱為產生式的“頭”或“左部”
②β∈（V_T∪V_N）^*，稱為產生式的“體”或“右部”

S是開始符號，S∈V_N，開始符號是一個文法中最大的語法成分

產生式的簡寫

對一組有相同左部的產生式而言，
α→β₁，α→β₂，α→β₃，……，α→β_n
可簡寫為：
α→β₁|β₂|β₃|……|β_n（α定義為β₁或β₂或……或β_n，其中β₁β₂……β_n稱為α的候選式）

符號約定

終結符：

非終結符：

總結

字母表中排在前面的小寫字母a，b，c終結符

字母表中排在前面的大寫字母A，B，C	非終結符
字母表中排在后面的大寫字母X，Y，Z	文法符號（既可以是終結符，也可以是非終結符）
字母表中排在后面的小寫字母u，v，……，z	終結符號串
小寫的希臘字母α，β，γ	文法符號串

總結

以上是生活随笔為你收集整理的【编译原理】文法的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內容還不錯，歡迎將生活随笔推薦給好友。