正式的语言

一个正式的语言是一种语言设计用于在特定情况下,如数学或计算机编程。

一个自然语言是一种语言,开发了由其用户自然会随着时间的推移。我们使用自然语言,比如英语,西班牙语,印度语,和日本,相互沟通。自然语言不断变化和发展。

正式的语言,另一方面,计划和设计。他们创建为一个特定的目的,因此,从一开始就有很严格的规定。他们经常用符号、数字和字符自然语言。你会发现正式的语言最常用于数学和计算机编程。

一个正式的语言与自然语言确实有一些共同点:

• 一个正式的语言有一个字母。例如,数学使用特定的符号和字符(如1,+ =)以同样的方式,英语使用特定的字母。而不是“字,”正式的语言用字母形式字符串。
• 一个正式的语言有语法,这意味着弦的顺序和位置很重要。如果不遵循语法,无稽之谈。例如,“2 + 2 = 4”是可以接受的语法数学而“1 - = + %₃2”不是。
• 一个正式的语言有语义。即字符串有特定的含义。正如前和锅意味着不同的东西用英语,“2 x”和“x - 2”在数学上有不同的含义。同样,我们知道在数学符号“+”符号“-”有不同的含义。

然而,尽管自然语言往往有很多歧义和冗余,正式的语言不。例如,化学符号“H”意味着“氢”,从来没有别的。正式的语言他们说的意思是什么。

第一的记录正式的语言,意为自然语言相比,来自1926年左右。背后的哲学和理论正式的语言被认为是老了,经常追溯到数学家的工作吗戈特弗里德莱布尼兹(1646 - 1716)。

你会发现正式的语言等领域中使用数学、逻辑和计算机编程。除非你经常使用微积分或者解决逻辑证明,过去的这些是你最有可能接触到。等编程语言HTML,JavaScript,Python,c++通常用在许多不同的计算机应用程序。极有可能的是你访问任何网站使用超过一个正式的语言正确显示其内容,使网站的功能。

通常认为第一正式的语言是由数学家Gottlieb弗雷格在他的书吗Begriffsschrift(1879)。在书中,弗雷格失败试图创建一个正式的语言证明数学可以减少逻辑。

这张图片显示了一个电脑屏幕上显示的JavaScript, a正式的语言用于计算机编程。

天:2学习DOM操作# 100 daysofcode# javascriptpic.twitter.com/Mpu5YZDCJe

——阿布Kumar⛹♂️(@abhixhek_kumar)2021年9月17日

数学家和电脑程序员是两个专业人士可能会使用的例子正式的语言。

合同法应该变成一个正式的语言,与静态分析和解决。Haskell,那么Perl。

——约翰•卡马克(@ID_AA_Carmack)2014年7月16日

我们的# ICLR2020纸”计划引导代理”被接受为焦点的一篇论文!我们提出一个模块化的框架,可以完成指定的任务计划,结构化的正式语言,实现zero-shot推广到更复杂的任务。论文:https://t.co/uTiiDNhYydpic.twitter.com/Aj3TGKV0TL

邵华太阳(@shaohua0116)2019年12月20日

• 语言
• 自然语言
• 字母
• 字符串
• 语法
• 语义
• 语法
• 数学
• 逻辑
• 编程

真或假?

正式的语言用于创建一个特定的目的。