正则表达式是形式语言与自动机理论的工程化工具，本质为“字符串模式的形式化表达”，对应正则文法，由DFA/NFA识别，属文本处理层胶水设施，非编程语言、算法或配置语法。
正则表达式不属于独立学科，而是计算机科学中形式语言与自动机理论的工程化工具，在实践中它被归类为文本处理层的基础语法设施，不是编程语言，也不是算法本身，而是一套跨语言、跨工具的模式描述协议。
它本质是“字符串模式的形式化表达”
从理论源头看，正则表达式对应的是**正则文法（Type-3 文法）**，可被确定有限自动机（DFA）或非确定有限自动机（NFA）识别。这意味着：
- 它能描述的模式有明确边界（比如不能匹配嵌套括号对 ( ( ) ) 这类需栈结构的问题）；
- 所有主流实现（grep、re 模块、RegExp）底层都依赖自动机构建或回溯引擎；
- 它的“强大”来自组合能力（量词 + 分组 + 位置断言），而非图灵完备性。
在技术栈中，它处于“胶水层”而非核心层
它不解决业务逻辑，也不承担系统架构职责，但几乎出现在所有需要“跟字符串打交道”的环节：
- 前端：表单验证（/^[a-z0-9._%+-]+@[a-z0-9.-]+\.[a-z]{2,}$/i）、URL 解析、日志高亮；
- 后端：Nginx 的 location ~* \.php$、Logstash 的 grok filter、SQL 中的 REGEXP（MySQL/PostgreSQL）；
- 运维/数据工程：sed -E 's/([0-9]{4})-([0-9]{2})/\1\/\2/g'、日志清洗脚本、CSV 字段提取。
容易被误判的三个归属误区
实际使用中常有人把它错当成：
- 编程语言：但它没有变量、循环、函数调用——re.sub() 是 Python 调用它，不是它自己执行；
- 算法：它不定义步骤，只声明“要什么”，匹配过程由引擎决定（NFA 回溯可能指数级慢，DFA 则线性但不支持反向引用）；
- 配置语法：虽然像 YAML 或 JSON Schema 那样写在配置里，但它具备运行时动态编译能力（如 new RegExp(pattern, flags)），且错误反馈极弱（Invalid regular expression 这类报错不指明哪一行哪一列）。
正则表达式真正的“位置”，是你写 if 判断前、写 for 循环里、甚至写 shell 管道时，那个默默帮你划出文本边界的隐形标尺——它不显眼，但一旦失效，整个文本流就失去锚点。
