目錄

1形式語言

按一定規律構成的句子或符號串的有限或無限的集合.

2形式語言學

也稱代數語言學,它研究一般的抽象符號系統,運用形式模型對語言(包括人工語言和自然語言)進行理論上的分析和描寫.
形式文法:是一種格式,用來說明什麼句子在該語言中是合法的,並指明把片語合成短語和句子的規則.
描述語言有三種途徑:1,窮舉2,文法 3,自動機 其中文法是指的產生過程,而自動機是指的識別過程.一種語言,如果存在對它的識別過程,就一定存在對它的產生過程,反之亦然.
現行的形式語法系統是Chomsky於1959年為了描述自然語言而提出的一種理論模型
如何嚴格的定義形式化的語言
形式文法:一個形式文法G由四個部分組成,可記作G={VN, VT, S , P },其中:
VN:稱為文法G的非終結符號字母表,VN不出現在G所表示的語言集合的句子中;
VT:稱為文法G的終結符號字母表,G所表示的語言的句子由VT中的元素組成,VN ∩VT = ;S :代表句子符號,S∈VN .
P :代表一組式子組成的集合,P 中的式子具有如下形式:α->β
產生式需要滿足下面的條件:1)α可以是VN 和VT 上的任意字元串,但其中必須至少包含一個非終結符,並且不能是空字元;2)β可以是VN 和VT 上的任意字元串,也可以是空字元;3)P 中至少有一個產生式中的α得由S 來充當;
形式語言的特點
1,高度的抽象化(採用形式化的手段-專用符號,數學公式-來描述語言的結構關係,這種結構關係是抽象的)2,是一套演繹系統(形式語言本身的目的就是要用有限的規則來推導語言中無限的句子,提出形式語言的哲學基礎也是想用演繹的方法來研究自然語言)3,具有演算法的特點.(比如說句法分析中採用不同的演算法來構造句子的句法推導樹)
喬姆斯基把文法分成4種類型,即0型,1型,2型,和3型。0型文法也稱短語文法,0型文法的能力相當於圖靈機(Turing),或者說任何0型語言都是遞歸可枚舉的。1型文法也稱上下文有關法,其能力相當於線性界限自動機。2型文法也稱上下文無關法,其能力相當於非確定的下推自動機。3型文法也稱右線性文法,由於這種文法等價於正規式,所以也稱正規文法。從文法描述語言的能力來說,0型文法最強,3型文法最弱。
上一篇[形式化]    下一篇 [指稱]

相關評論

同義詞:暫無同義詞