「上下文無關文法」(context-free grammar),基本上,它聽一系列的詞組,再加上結合詞組的一些簡單規則。
他的規則是:

這些規則,可以檢視,一個句子是否符合句法。
在這個規則下,可以用tree-substitution grammar結合


TSG 的意義,就是可以把CFG的規則,延伸成一個較完整的樹狀結構。
他也可以接兩層以上的樹

從以上的圖可以看出來TSG G’ can be strongly lexicalize the CFG
舉例說明


Sample elementary trees


LTAG derived tree
Who does Bill think Harry likes
蒙泰格語法
一種我在查資料時,老師給的資料中沒有提到的,美國邏輯學家 Richard Montagu在70年代創立的理論。
蒙泰格語法跟之前提到的方法,最大的不同是在於,之前提到的都是"由上下向下"而蒙泰格語法是由下向上,生成方向不同。

蒙太格語義學為代表的邏輯語義學不承認句法的自在性,而是把語句的句法分析和語義解釋看成是同構(isomorphic)的。根據這種觀點,詞的組合成句及其語義的模型論解釋有著一一對應的關係,而且操作內容也要一致,也就是說,語義解釋是從句法代數A到語義代數B的同構映射。類型論(type theory)使得這種同構映射成為可能。