語言句子的結構或形式。語法表示構成語言的各個記號之間的組合規律，並不涉及這些記號的含義。
語法圖
在電腦編程語言中，句子稱為語句，由詞法單位構成，如常數、變數、運算算符等。詞法單位又由圖像字符構成，如字母、數字或其他字符。語法定義闡明何種字符串構成該語言的一個合法的程序。早期語言的語法是用自然語言描述，不夠精確。從ALGOL60語言開始，都用形式體系描述語法。常用的形式體系是巴克斯–諾爾形式體系(又稱巴克斯范式(BNF))、擴充的BNF和語法圖。如：<字母>∷=a|b|…|z|A|B|…Z（見圖）。