为什么正则expression式被称为“常规”expression式?

为什么正则expression式称为正则expression式?

他们是基于正规的语言 。

他们为什么叫做“正则expression式”?

正则expression式追溯到美国math家Stephen Kleene(理论计算机科学发展中最有影响力的人物之一)的名字,他开发了正则expression式作为描述他所谓的“正则集的代数” “。 他的工作最终find了一些早期的计算searchalgorithm,并从那里到Unix平台上最早的文本处理工具(包括ed和grep)。 在计算机search的情况下,“*”正式被称为“Kleene星”。

从这里 。

Kleene所说的“常规事件”是指由一组神经细胞处理的事件 – 一种感知或思想事件。 Kleene的论文没有提到计算机,编程,文本中的匹配模式,或者在计算机上search文本,甚至没有在计算机上或计算机附近编写文章,正如打字稿所指出的那样。

正如你可以在正式expression的优秀历史中读到的,在克里斯托弗·M·凯尔蒂(Christopher M. Kelty)的着作[逻辑工具:正则expression式,人工智能和思考](2011) 1

正规expression式起源于20世纪30年代McCulloch的神经学和神经生物学。 20世纪40年代后期,McCulloch和Pitts在工程,计算机科学和math方面所取得的成就要远远高于生物学或神经科学。 以McCulloch和Pitts逻辑的neural network计算为出发点的工作在math和计算机科学中已经非常丰富。 完全forms化,至less从McCulloch和Pitts本人开始,他们1947年的论文“我们如何认识共相”以及他们与Lettvin和Maturana一起写的1959年的论文“青蛙的眼睛告诉青蛙的大脑”(Lettvin等,1959, Pitts和McCulloch,1947]都放弃了与命题演算或图灵机的严格的forms等价性,而倾向于更复杂的生物模型,这些模型不太适合逻辑操作。

McCulloch最初的兴趣在于寻找他所假设的“精神病” – 或者是神经活动的一个primefaces单位,这是他在20世纪30年代与耶鲁生理学家JG Dusser de Barenne合作进行的生理研究中首次尝试的。 在20世纪40年代初期,McCulloch被Jerome Lettvin介绍给Walter Pitts,并由此被带到芝加哥大学的Nicholas Rashevsky的math生物学小组,Walter Pitts一直在与Rashevsky和math家Alston Householder一起积极研究神经活动模型。

两人之间的合作充其量是不平衡的。 麦卡洛克四十多岁,皮茨17岁; McCulloch在生理学和哲学方面的职业生涯中,Pitts是由各种各样的有时是不可靠的帐户的一个math神童谁逃离他在底特律的家,遇见了在芝加哥的公园里的Bertrand罗素[Smalheiser,2000年,Schlatter和Aizawa,2008年] 。 然而,他们一起拼凑了一些在中间遇到的东西,一篇论证了神经活动模型和逻辑计算之间forms等价的论文。

图灵的机器是McCulloch和Pitts的一部分灵感。 正如塔拉·亚伯拉罕(Tara Abraham)所说:“图灵能够用”机械的“术语来定义复杂的计算过程,简单的algorithm的概念如此详尽,严谨和明确,执行者不需要”math知识“来完成任务。[Abraham,2003,18]自动程序的计算识别为McCulloch和Pitts提供了一个模拟一组神经的灵感,这些神经也可以被计算为“在没有math知识的情况下”。

事后看来,McCulloch和Pitts在工程,计算机科学和math方面所取得的成就要远远高于生物学或神经科学方面的影响力。

Kleene,Stephen C.(1956),“neural network和有穷自动机中事件的表示”

着名的1959年由JY Lettvin,HR Maturana,WS McCulloch和WH Pitts撰写的论文, “青蛙的眼睛告诉青蛙的大脑

1968年,肯·汤普森(Ken Thompson)为CACM发表了一篇简短的“编程技术”论文,其中描述了“正则expression式searchalgorithm”

因为他们以前实际上是经常的。 请参阅http://en.wikipedia.org/wiki/Regular_language和http://en.wikipedia.org/wiki/Regular_expressions 。 拉里·沃尔(Larry Wall)主张称现代的正规化,因为它们不再像普通的一样。

正则expression式的简要历史