什麼是三型文法

正規文法

三型文法，也稱為正規文法，是計算機科學中的一個重要概念，屬於形式語言理論的一部分。

三型文法是基於正則文法的概念，它對應於有限狀態自動機。三型文法的規則集中所有規則都滿足特定形式，例如A->Bx或A->x，其中A、B屬於非終結符集合N，而x屬於終結符集合Σ。這種文法的特點是，其產生式的右側要麼是一個終結符，要麼是一個終結符和一個非終結符的組合。三型文法是編譯原理的基礎，用於描述程式設計語言的語法結構。由三型文法產生的語言稱為正規集。三型文法還包括左線性文法和右線性文法兩種子類型。