形式语言形式语言学编辑也称代数语言学,它研究一般的抽象符号系统,运用形式模型对语言(包括人工语言和自然语言)进行理论上的分析和描写。形式文法:是一种格式,用来说明什么句子在该语言中是合法的,并指明把词组合成短语和句子的规则。描述语言有三种途径: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型。
答：语言在形式思维中扮演着一个重要的角色，因为只能借助语言推断可能的层面，尤其是那些借助语言仍非真实的层面。在前个阶段，是运用种类和关系的逻辑思考；在这个阶段，则是...详情>>
答：详情>>
