发帖
雷达卡
138 形式语言意象性原理
形式语言是可以陈述真理性知识的强有力工具，但它仍是属于语言范畴的交际、记录、传承知识的职能。同时，作为一种语言形式的知识方式，它仍未脱离语言的意象性质。虽然如此，形式（符号语言、人工语言）语言与自然语言毕竟有巨大的差异。我们将讨论它们之间的联系与差异。
数学、逻辑和计算贡科学中，形式语言（英语：Formal language）是用精确的数学或机器可处理的公式定义的语言。形式语言同样具有意象性，它的语义仍是实体物象的定义不会改变。形式语言最大的特征是数字符号串，和有限符号串，符号的抽象性极高，需要高智商的个人才能有效地掌握和运用。它们由字母、数字、界符等组成。
形式语言最大的特点，首先，形式语言的语符含义是由自然语言定义的。也就是说，形式语言语义物象是经历双重语符象征意指规定。这种语义物象状态极大地增加了识记、掌握、运用形式语言的难度。从语言意象结构来说，它是一种“十一元体”意象结构。其次，形式语言语义物象固定化，没有歧义、多义、反义、近义的变态功能。第三，形式语言符号的含义如空间物象、时态物象、事态物象、物体物象须要向符号转换的意象力转换定义，即需要自然语言的语义解释规定。第四，形式语言格式化，它们是高度的抽象物象。所以，形式语言学习运用需要很高的智力水平和直觉认知能力。众所周知，文盲人是不识字的人群，但在学校同等条件下有的学生成绩很差。这就不是感知觉能力的问题，而是智能智力的问题。由于形式语言符号的含义是需要由文字语言做出规定的，所以，学习掌握运用形式语言符号的能力是要在文字语言智力基础上更高理智认知能力。形式语言语义物象是一种通过直觉认知获得的知识。虽然，它们与感觉物象相关，但是，感官知觉不可能获得形式语言语义物象知识。比如，人们对于原子、电子、电荷、基因等等微观粒子，不可能是由感官知觉认知获得，非直觉认知才能获得。
数学：空间物象、时态物象、事态物象、物体物象向符号象征的意象力转换。
比如，数字：0，1，2，3，4，5，6，7，8，9。
符号：
全称量词“
”；所以：
形式语言的符号含义格式化：比如，3+4=7；16-5=11。公式：勾股定律：
分数
；大型运算：
等等。
它们都是格式化的符号语言，没有歧义的功能。但是，形式语言的知识是语言形式的知识的一个类型，它们仍是遵守语言的意象性质。一方面，它们遵守语义物象的定义，另一方面，符号形式的含义使它们呈现的实体物象与实体事物的存在，具有高度吻合和一致性的知识。
计算机的软件编制程序都是以符号形式记录的，都是格式化的语言，符号含义准确无有歧义。所以，合逻辑的软件能够实现有效的运算，达到满足、服务于人的目的。
如语言学中语言一样，形式语言一般有两个方面: 语法和语义。专门研究语言的语法的数学和计算机科学分支叫做形式语言理论，它只研究语言的语法而不致力于它的语义。在形式语言理论中，形式语言是字母表上的某些有限长字母符串的集合。一个形式语言可以包含无限多个字符串。
按一定规律构成的句子或符号串的有限或无限的集合。
形式语言的字母是从该语言的字符串可以形成的一组符号，字母，或标记，;通常它的要求是有限的。
字符串由这个称为字的字母形成，这些词属于一个特定的形式语言有时被称为形式公式。一个正式的语言，往往是通过一个正式的语法，如正则文法或上下文无关文法定义，称作形成规律。
形式语言理论主要研究的是内部结构模式这类语言的纯粹的语法领域。形式语言理论是从语言学衍生而来，作为一种理解自然语言的句法规律。在计算机科学中，形式语言通常作为定义编程语言和语法的基础，是正式版本的自然语言的子集。在计算复杂性理论中，决策问题通常定义为形式语言，复杂类被定义为形式语言的集合，它能被具有有限计算能力的机器所解析。在逻辑和数学基础中，形式语言是用来表示公理系统的语法。
形式语言有严格的语法（Syntax）规则，例如，3+3=6是一个语法正确的数学等式，而3=+6$则不是，H2O是一个正确的分子式，而2Zz则不是。语法规则是由关于符号（Token）和结构（Structure）的规则所组成的。Token的概念相当于自然语言中的单词和标点、数学式中的数和运算符、化学分子式中的元素名和数字。关于Token的规则称为词法（Lexical）规则，而关于语句结构的规则称为语法（Grammar）规则。
编程语言
主要文章：语法（编程语言和编译器）
编辑器通常有两个不同的部分组成。一个词法分析器，由一个像lex的工具形成。那识别编程语言的语法标记。例如：标识符或关键字，在一个简单的语言表达形式中，通常是正则表达式工具。在最基本的概念，一个解析器由一个类似yacc的解析生成器构成。试图判断源程序是否有效。当然，编译器做的不仅仅是解析源代码，他们通常把它翻译成一些可执行格式。因此，一个解析器通常输出多是或否的回答，一个典型的抽象语法树，这是由编译器后续阶段用于最终生成机器代码，包含直接运行在硬件执行，或一些中间代码需要虚拟机执行。
京公网安备 11010802022788号
