正则表达式源于1943年McCulloch-Pitts神经元模型，经Kleene 1951年形式化为正则集合理论；1960年代末Thompson将其实现为QED/grep文本搜索工具；1980年代POSIX标准化BRE/ERE；1987年Perl引入高级特性；1990年代PCRE库推动跨语言统一。
正则表达式不是程序员凭空发明的工具，它的根扎在数学和神经科学里。
从神经元到数学符号
1943年，神经生理学家Warren McCulloch和Walter Pitts发表论文《A logical calculus of the ideas immanent in nervous activity》，首次用逻辑与数学建模神经元行为，把大脑活动抽象成“自动控制元”的组合。这为形式化描述“可识别模式”埋下伏笔。
1951年（部分文献记为1956年），数学家Stephen Kleene在他们工作的基础上，提出“正则集合（Regular Sets）”理论，用一套代数符号刻画一类可被有限状态机识别的语言。他称这套符号系统为“正则表达式”，目的不是处理文本，而是研究计算的边界——哪些问题能被简单机器解决。
从理论走向终端命令
正则表达式真正进入工程师日常，要等到1960年代末。Ken Thompson——Unix之父——将Kleene的理论转化为可运行的搜索算法，并率先实现在QED编辑器中。这是它第一次被用于交互式文本匹配。
随后，它被移植进Unix的ed编辑器，再通过grep（global regular expression print）工具引爆普及。grep让普通用户只需一行命令，就能在成千上万行日志里揪出含特定格式的记录，比如^\d{4}-\d{2}-\d{2}匹配日期。
Unix in a Nutshell同时涵盖了许多重要的、业界标准的开放源码工具 本书还完整地讨论了常用的shell(bash、ksh及tcsh)和重要元素如正则表达式，乃至旧式工具如sed、awk与vi。 Unix不是一个庞大的物体：它是一个综合体，而《Unix技术手册》则是将这一切合并在一起的一本书。 到底unix是什么?原始的unix源码是由sco拥有，unix注册商标是由open group拥有，而领先的仿unix系统则是gnu／linux、mac os x及solaris。这些版本所附的命令与选
- 1970年代：egrep、sed、awk陆续增强支持，但各工具语法不统一
- 1980年代：POSIX标准化，明确BRE（基本）与ERE（扩展）两类语法，成为Unix/Linux工具的通用底座
- 1987年：Perl发布，把正则从“查找工具”升级为“编程语言级能力”，支持捕获组、回溯、懒惰匹配等高级特性
从Perl兼容到现代通用
Perl的强大正则能力很快成为事实标准。1990年代，PCRE（Perl Compatible Regular Expressions）库诞生，让C、PHP、Python、Java等语言都能调用一致、强大且易用的正则引擎。
今天你写的[a-z]+@[a-z]+\.[a-z]{2,}，背后是Kleene的代数、Thompson的算法、Perl的设计哲学和PCRE的工程实现三层叠加的结果。它早已超越“文本查找”，活跃在表单验证、日志解析、代码重构、甚至大模型预处理的数据清洗环节。
两个派系仍在并存
不是所有正则都一样。实际使用中需注意底层差异：
- POSIX派系：grep、sed默认使用BRE；加-E用ERE。括号()、花括号{}需转义才具特殊含义
- PCRE派系：Python的re模块、JavaScript的RegExp、Java的java.util.regex均属此类。语法更直觉，功能更丰富
选哪一种，取决于你用的工具或语言，而不是哪个“更高级”。理解差异，才能避免写完正则却在不同环境里表现不一。
