什么正式的语言可以归结？ 使用范例

什么是形式语言，以及如何从自然不同？ 它是如何形成的？ 什么正式的语言可以归结？ 它是用来指他吗？

形式语言的特点

所以我们称之为一组人工语言，其特点是关于表达式的施工精确的规则，以及他们的理解。 用于工业用途的系统可以归结为正式语言。 它们是建立在遵守明确的规则，提供性能和研究的关系一致，结构紧凑，精确的显示 主题区域 或建模的对象。 标记的价值和意义不能由任何实用的功能（使用的上下文的）来改变。 这可能是由于在语义转换和语义解释规则的形式语言的存在。 他们利用数学的基地往往建。 由于它，在发展的整个跨度，采用了各种符号标志的事实已经被应用到各种概念和对象。 这就是需要正式的语言。 他们可以显著减少数据。 此前，与正式和自然语言一起已被使用，但与主题和需要做出的数学推理的严密的逻辑分析的逐渐复杂化，就决定放弃了过去。 这个过程从十七到二十世纪一直持续。 这是上个世纪被认为是最有成效的形式语言方面。 各种特殊分支创建。 因此，对于计算机科学是特别重要的编程语言和逻辑代数的，不仅有理论，而且从实用的角度出发。

定义

以什么形式语言可以归因，我们已经简要地解释。 但是，我们可以对他们说？ 正式的语言被赋予了很多不同的定义。 全部列出来，会留下大量的时间，所以来看看最流行：

1. 在语言中的单词的简单列表 - 通常相对于最终的结构类型以及有关的结构简单的那些这么说。
2. 通过某种形式的语法生成词。
3. 正则表达式生成的结构。
4. 由BPF设计产生的话。
5. 该结构中，通过一个有限自动机识别的。

让我们来看一个例子。 比方说，我们有全字母，给出了两个数字1和0显示字母“O”，我们使用的1010001.这组合是使用正式语言。 也可以使用空字（当字符串长度为零，并没有什么）与我们熟悉的形式特殊的标志。 但是，更详细地了解什么是一个正式的语言，帮助4例接下来将给出。 它有什么作用？ 为了读者的理解是，一个正式的语言可以归结。 但更多的是一些关于如何创建它们。

形式语言的构建

每一种语言是被创造一次和别人一个正式的结构。 它们通常是建立在相同的模式：

1. 首先，选择字母，或某一组特定的字符将建成并在语言使用的表达式。 通过正式的语言是任何方式使用计算机进行编程。
2. 它描述了语法，那就是，特点和规律，将建立有意义的句子。
3. 对词语和表达一定的规则。 这里有个规则：任何字母序列必须能够算的话。

通过正式的语言是指具有明确的规则，任何结构 - 它应该被记住。 建筑时有一些功能。 因此，术语“字符”在意义方面非常多功能，所以在大多数情况下使用的术语为“字母”。 但它们下面可以理解不仅为我们平时的符号，而且括号，特殊字符等。 这仅适用于正式的语言。

例1

让我们用1和0开始。在这种情况下，使用更多的“任期”的理念和“公式”。 第一充当对象的类似物和用于指特定的东西的名称。 首先，了解下他们的常量和各个变量。 这些，反过来，建立更复杂的结构，这是在一些语言功能中使用使用。 下的组中的条款理解该式中，在一定的编程语言的使用，其是可能的。 该“指令”将被处理，人将得到期望的结果。

例2

考虑其中存在的反转（¬），析取的示例逻辑（∧），则结合（∨）和含义（⇒）和其他几个人。 在图像的这种记录可以被给定为：

1. A;
2. A∧V⇒¬A
3. ¬（A∨¬S）

随着人物A，B，C，替代变量，你会得到的逻辑运算。 凡申请这种类型的形式语言？ 广泛使用这种机制，其中已经由程序员所描述的编程语言，数学，关系，逻辑和数学函数，或部分被发现。

例3

让我们看一个更复杂的逻辑公式：

¬（A∨¬S）⇔¬A∧S= 1

这就是为什么我们需要通过正规的语言。 试想一下，如果它是在描述的话会发生什么？ 现在，基于公式推导出的结论。 有意义的表达式可以在正规的语言只能得到当某些规则得到遵守预先形成，变化和其制造它们的配方和术语的“理解”：

1. 建设项公式和;
2. 研究语义方面和解释;
3. 公式和其他条款之一的序列。

每个正规的语言应妥善制订一套规则。

例4

由于语言的语法输出术语和公式的规则存在可以进行同构转型模式。 因此，将开展不仅反映（的表现）已经存在的知识的具体机构，但可以接收新的信息。 此外，改造，不过，并根据明确和严格的规定发生，也可以实现自动化。 类似的技术在使用 专家系统， 知识库，软件和决策支持产品。

结论

正式的语言被广泛应用于科学，尤其是艺术。 在科学研究和实践活动的实施，他们可以与自然的互动，鉴于后者的可观表现能力。 然而，正式的语言可以更准确地传递知识，开展人类所积累的信息客观交换。