二型文法，也被稱為上下文無關文法，是計算機科學中用於描述語法的一種形式語言理論概念。它在1型文法（上下文有關文法）的基礎上增加了額外的限制條件，具體包括：
產生式的左邊只能有一個字元，且這個字元必須是非終結符。
產生式的右邊可以有多個字元，這些字元可以是終結符或非終結符，但數量必須是有限的。
這種文法的套用非常廣泛，它能夠表達大多數程式設計語言的語法，如C、Pascal和Java等。二型文法是喬姆斯基層次結構中的中間層次，其表達能力雖然比0型文法和1型文法要弱，但由於其高效率和實用性，2型文法和3型文法（正則文法）成為了最重要的兩種文法類型。