形式文法

在形式語言理論中 ， 文法 （ 爲了避免歧義 ， 常稱作 “ 形式文法 ” ） 是形式語言中字符串的一套 。 這些規則描述瞭如何用語言的字母表生成符合的有效的字符串 。 文法不描述字符串的含義 ， 也不描述在任何上下文中可以用它們做什麼 — — 只描述它們的形式 。 形式語言理論是應用數學的一個分支 ， 是研究形式文法和語言的學科 。 形式文法是從一個 “ 開始符號 ” 出發的一套重寫字符串的規則 。 因此 ， 文法通常被認爲是語言生成器 。 語法分析是通過將一段話語 （ 自然語言中的一個字符串 ） 分解成一組符號 ， 並根據語言的語法分析每一個符號的過程 。 大多數語言的話語含義都是根據其句法結構來確定的 — — 這種做法被稱爲組合語義學 。 因此 ， 在語言中描述話語含義的第一步就是把它分解成若干部分 ， 然後觀察它經過分析後的形式 （ 在計算機科學中被稱爲分析樹 ， 在生成文法中被稱爲深層結構 ） 。