在計算機科學中，終端和非終端符號是用于指定構成形式語法的生產規則的詞匯元素。終端符號是形式語法所定義的語言的基本符號。非終端符號（或句法變量）根據生產規則被終端符號組所取代。一個特定語法的終端和非終端是兩個不相交的集合。

終端符號是可能出現在形式化語法的生產規則輸出中的文字符號，不能用語法的規則來改變。將規則遞歸地應用于源符號串，通常會以最終輸出串只由終端符號組成而告終。考慮一個由兩個規則定義的語法。使用象形符號相互作用。符號?可以變成ди符號?可以變成д這里д是一個終端符號，因為沒有規則可以把它變成別的東西。另一方面，有兩條規則可以改變它，因此它是非終端的。由特定語法定義或生成的形式語言是由語法產生的、僅由終端符號組成的字符串的集合。

非終端符號是那些可以被替換的符號。它們也可以簡單地稱為句法變量。形式化語法包括一個起始符號，即非終端符號集的指定成員，語言中的所有字符串都可以通過連續應用生產規則來衍生。事實上，一個語法所定義的語言正是可以這樣推導出來的終端字符串的集合。無語境語法是指每個生產規則的左手邊只由一個非終端符號組成的語法。這個限制是不簡單的；不是所有的語言都能由無語境語法生成。那些可以生成的語言被稱為無語境語言。這些正是可以被非確定性推倒自動機識別的語言。無語境語言是大多數編程語言的語法的理論基礎。