为什么将常规语言称为“常规”?


31

我刚刚完成了第一章介绍计算理论迈克尔·西蓬瑟这也解释了有限自动机的基本知识。

他将常规语言定义为可以由有限自动机描述的任何事物。但是我找不到他解释为什么普通语言称为“普通语言”的地方。在这种情况下,“常规”一词的起源是什么?

注意:我是新手,所以请尝试用简单的术语进行解释!


6
看来,这又回到克林和他的研究正则集
卡夫2012年

Answers:


28

正如Kaveh在评论中所说,Kleene在开始使用自动机理论和形式语言时就赋予了该名称。我相信这个词是任意的,尽管自从我阅读他的原始论文已经很多年了。

数学家习惯于劫持常见的名词和形容词以获取数学对象和属性,有时是出于诸如几何或其他类比或隐喻之类的充分理由,有时是任意的。只需查看“组”,“环”,“空间”,“捆”,“图集”,“歧管”,“字段”等等。

实际上,有限状态语言的“常规”一词虽然在自动机理论中仍然很普遍,但在其代数表亲,有限半群论或抽象代数中却很少使用。为什么?因为在特定的技术意义上该术语已被用于接近某个组的半组,所以您无法将Kleene意义上的常规语言与相应的常规半组进行匹配。第三,Kleene定义了另一种称为“定性”的事件,对此事件进行了一段时间的研究,但结果证明并非特别有效。如今,有限的语言在确定事件中扮演着定期事件的基础。

对于Kleene的语言类别以及更通用的半群和类半同义词,代数中的首选术语是“理性的”。这种用法也反映了代数中的“有理数”一词,即具有整数系数的线性方程的解与自动机和形式语言理论中的有理幂级数的概念之间的重要类比。


附加信息。 可在此处找到Kleene在1951年发表的题为“神经网络和有限自动机中事件的表示”的原始论文。在第 [46]它用以下陈述解决了“常规”一词的任意性:

我们现在将描述一类事件,我们将其称为“常规事件”。(我们欢迎您提供有关更具描述性的用语的任何建议。)

显然,没有人想出一个更具描述性的术语。;-)

正如开创性论文经常导致整个新领域的密集发展一样,术语和概念在当今的术语中几乎是无法识别的。首先,论文是关于神经元模型的,因此使用“事件”代替“语言”或“集合”。即使Kleene的概念对于自动机和形式语言的重要性大大超过了对神经科学的任何价值,“事件”一词在60年代和70年代仍然持续存在。

其次,存在一些数学差异,例如将所谓的“ Kleene Closure”定义为二进制运算,等效于 一种b,而不是简单的一元运算 一种 要么 一种+我们今天使用的。Kleene的动机是避免使用空字符串(或用他的术语表示持续时间为零的事件)。这是一种非常有先见之明的直觉,因为随后的理论表明,在许多情况下,选择是否将空字符串包含在定义中至关重要。第三,克莱因(Kleene)定义了一个称为“定事件”的概念,并从中定义了规则事件,但如今,我们为此目的使用了有限集。对确定的事件进行了一段时间的研究,但结果远不如正常的事件/场景/语言重要。

无论如何,除非出于历史目的,否则今天对本书的完整阅读可能不值得任何人花费。我只是对关键的定义和想法进行了略读,这很有趣。


6
“常规”非常重载,并且存在具有理性生成功能的非理性语言。这两个词都糟透了。
拉斐尔

2
Thanks for digging up Kleene's seminal paper. I would say that, when automata are used as models of computation, as opposed to recognizers of languages, we still use the term "events" for the input/output symbols. But, Kleene's paper is still worth reading for another reason. Computer Science should also be studying how computation happens in the natural and social worlds, in addition to studying how it happens in our own machines. We have been losing that focus over the years because we are consumed by the inexorable march of technology.
Uday Reddy

1
The paper actually did not receive wide circulation until it was published in a 1956 AMS volume called Automata Studies, which contained several important early papers in automata theory. Ah, the wonderful days before the web and instant publishing -- when things moved much more slowly. You can get the book at Amazon for a mere $72.50, or used for $12+shipping.
David Lewis

By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.