抽象句法
在計算機科學中，數據的抽象句法（英語：abstract syntax）是將其結構描述為數據類型（可能但不一定是抽象數據類型），獨立於任何特定的表示或編碼。 這特別用於計算機語言中文本的表示，這些語言通常存儲在樹結構中作為抽象語法樹。對比僅由資料結構組成的抽象語法與具體句法，具體語法還包括有關表示的信息。 例如，具體句法包括括號（用於分組）或逗號（用於列表）等功能，這些功能不包含在抽象句法中，因為它們已經隱含在結構中。
如果結構是抽象的但名字（標識符）仍然是具體的（因此需要名字解析），則抽象語法被分類為一階抽象句法（FOAS）；如果名字本身是抽象的，則抽象語法被分類為高階抽象句法。