''

Orien Daily

  1. 正则表达式的骨相:Thompson 构造法写 grep -E 'ab+c' file 的时候,你大概不会停下来想这个模式是怎么变成机器能执行的东西的

    正则表达式的骨相:Thompson 构造法

    写 grep -E 'ab+c' file 的时候,你大概不会停下来想这个模式是怎么变成机器能执行的东西的。但这条转换链其实藏着一道极其优雅的编译原理题——从正则表达式到有限自动机,中间那一步叫做 Thompson 构造法。

    Ken Thompson 在 1968 年的论文里提出了这个算法,核心思路很简单:正则表达式里的每个运算符(连接、选择、Kleene 闭包)都对应一个固定形状的 NFA 模板。你不需要什么全局规划,只需要对抽象语法树做一次后序遍历,把子表达式的 NFA 一块块像拼积木一样粘起来就行。

    选择运算 a|b 会生成一个带 ε 转移的分叉入口和汇聚出口;Kleene 闭包 a* 则会生成一个能跳过或循环回到自身的 ε 环路。每块 NFA 都只有一个入口状态和一个出口状态,这让"拼接"操作退化为把前一块的出口和后一块的入口连线——一条边就够了,没有特殊的边界处理。

    !Thompson NFA construction

    这套构造法有一个关键性质:对于长度为 n 的正则表达式,生成的 NFA 状态数最多是 2n。这意味着状态数跟模式长度线性增长,不会爆炸。代价是大量的 ε 转移——NFA 可以在不消耗任何输入的情况下在多个状态间跳动。模拟这种NFA时,你要么维护一个当前状态集合(子集构造法),要么用回溯,后者正是很多早期正则引擎指数级跑炸的根源。



    所以下次写正则的时候可以多想一秒:你的模式先变成了一堆带 ε 转移的小 NFA 片段,然后才被引擎拿去跑。Thompson 把一个看似需要全局推理的问题拆成了局部拼接,这才是它最漂亮的地方。 Link preview image

  2. 🎵 There Must Be A Better World Somewhere — B.B. King专辑:There Must Be A Better World Somewhere · 5:38Rupert Holmes这张专辑叫Songs That Sound Like Movies,每首歌都像塞了一整部短片进去

    🎵 There Must Be A Better World Somewhere — B.B. King
    专辑:There Must Be A Better World Somewhere · 5:38

    Rupert Holmes这张专辑叫Songs That Sound Like Movies,每首歌都像塞了一整部短片进去。Touch and Go是那种一听就让车速自动提上去的indie-rock,节奏带点浪荡的劲儿,很适合深夜路上不确定下一站去哪的时候放。

    🔗 Spotify · #推歌 #另类摇滚

  3. 🌅 Orien Daily 朝刊【5.17】1️⃣ 多家公司正陷入AI精神病 — HN千评热帖反思AI迷思2️⃣ Project Gutenberg持续进化 — 免费图书库越做越好3️⃣ ArXiv封禁全AI代笔作者一年 — 学术平台出手整治4️⃣ Anthropic 15亿美元和解生变 — 法官延迟审批5️⃣ Musk诉Altman庭审第三周 — 双方互攻可信度6️⃣ Ubuntu转向本地AI路线 — 拒绝云优先OS集成7️⃣ 中美首脑达成部分关税下调 — 关税战现缓和信号8️⃣ Google推Cloud Fraud Defense — reCAPTCHA继任者亮相频道:@OrienDaily

    🌅 Orien Daily 朝刊【5.17】

    1️⃣ 多家公司正陷入AI精神病 — HN千评热帖反思AI迷思
    2️⃣ Project Gutenberg持续进化 — 免费图书库越做越好
    3️⃣ ArXiv封禁全AI代笔作者一年 — 学术平台出手整治
    4️⃣ Anthropic 15亿美元和解生变 — 法官延迟审批
    5️⃣ Musk诉Altman庭审第三周 — 双方互攻可信度
    6️⃣ Ubuntu转向本地AI路线 — 拒绝云优先OS集成
    7️⃣ 中美首脑达成部分关税下调 — 关税战现缓和信号
    8️⃣ Google推Cloud Fraud Defense — reCAPTCHA继任者亮相

    频道:@OrienDaily

  4. 📸 @Yellow_yj0526 #YEJI ×3260417 ITZY 3rd World Tour in MelbourneGirls Will Be Girls @ITZYofficial260417 ITZY第三次世界巡回演唱会墨尔本站女孩将是女孩 @ITZY官方 #ITZY #있지 #YEJI #예지 #イェジ原文 #黄礼志

    📸 @Yellow_yj0526 #YEJI ×3
    260417 ITZY 3rd World Tour in Melbourne
    Girls Will Be Girls


    @ITZYofficial

    260417 ITZY第三次世界巡回演唱会墨尔本站
    女孩将是女孩


    @ITZY官方 #ITZY #있지 #YEJI #예지 #イェジ
    原文 #黄礼志

  5. 📸 @Yellow_yj0526 #YEJI ×3260417 ITZY 3rd World Tour in MelbourneGirls Will Be Girls @ITZYofficial260417 ITZY第三次世界巡回演唱会墨尔本站女孩将是女孩 @ITZY官方 #ITZY #있지 #YEJI #예지 #イェジ原文 #黄礼志

    📸 @Yellow_yj0526 #YEJI ×3
    260417 ITZY 3rd World Tour in Melbourne
    Girls Will Be Girls


    @ITZYofficial

    260417 ITZY第三次世界巡回演唱会墨尔本站
    女孩将是女孩


    @ITZY官方 #ITZY #있지 #YEJI #예지 #イェジ
    原文 #黄礼志

  6. 🌃 Orien Daily 晚刊【5.16】1️⃣ 整家公司陷入AI妄想症 — 热帖反思AI泡沫思维2️⃣ Project Gutenberg越做越好 — 开放图书经典项目持续进化3️⃣ 加州法案阻止杀死网游 — 游戏保存权立法再进一步4️⃣ 酒店系统泄露百万证件 — 云存储公开无密码5️⃣ Musk诉Altman第三周 — 互攻信誉陪审团将裁决6️⃣ Anthropic版权和解生变 — 法官推迟批准作者求更高赔7️⃣ Claude Code推出Routines — 自动化编码工作流可定时触发8️⃣ Google反欺诈取代reCAPTCHA — Cloud Fraud Defense上线@OrienDaily

    🌃 Orien Daily 晚刊【5.16】

    1️⃣ 整家公司陷入AI妄想症 — 热帖反思AI泡沫思维
    2️⃣ Project Gutenberg越做越好 — 开放图书经典项目持续进化
    3️⃣ 加州法案阻止杀死网游 — 游戏保存权立法再进一步
    4️⃣ 酒店系统泄露百万证件 — 云存储公开无密码
    5️⃣ Musk诉Altman第三周 — 互攻信誉陪审团将裁决
    6️⃣ Anthropic版权和解生变 — 法官推迟批准作者求更高赔
    7️⃣ Claude Code推出Routines — 自动化编码工作流可定时触发
    8️⃣ Google反欺诈取代reCAPTCHA — Cloud Fraud Defense上线

    @OrienDaily

  7. 📸 @freshfish95 #YEJI申留真說前一天李彩領Wild Wild West 獨舞完,說下一個是🌼 讓他壓力超大🤣黃禮志抱怨這個環節本來是輕鬆跳舞的,突然變鬥舞,他下次要跳到觀眾席了🤩ment 2 full version:

    📸 @freshfish95 #YEJI
    申留真說前一天李彩領Wild Wild West 獨舞完,說下一個是🌼 讓他壓力超大🤣
    黃禮志抱怨這個環節本來是輕鬆跳舞的,突然變鬥舞,他下次要跳到觀眾席了🤩

    ment 2 full version:
    https://youtu.be/hRJYPBwszTw?si=2053bM15IAEyvOMT

    20260510
    ITZY 3rd World Tour TUNNEL VISION in Tokyo day 2

    申留真说前一天李彩领Wild Wild West独舞完,说下一个是🌼让他压力加大🤣
    黄礼志抱怨这个本来是轻松跳舞的突然变斗舞,他接下来要跳到观众席了🤩

    ment 2 完整版:
    https://youtu.be/hRJYPBwszTw?si=2053bM15IAEyvOMT

    20260510
    ITZY 第三届世界巡回演唱会 TUNNEL VISION 东京 第二天 #예지 #Yeji #리아 #Lia #류진 #Ryujin #채령 #Chaeryeong #유나 #YUNA #ITZY #있지 #ITZY_TunnelVision #ITZY_WORLD_TOUR
    原文 #黄礼志

  8. 📸 @nisiosazane #加藤小夏 ×4小夏さんのメガネ姿の素晴らしさに共感して頂いてありがとうございます!他にもこういうのがあります✨4枚目の写真は、来週に最終回を迎える失恋カルタの彩世役でのメガネ姿です!観てない方は是非観て欲しいです😊感谢您分享小夏眼镜的美丽!还有其他类似的事情✨第四张照片是她戴着眼镜在《失恋歌留多》中扮演绫濑的照片,该剧将于下周迎来最后一集!如果你还没有看过,请务必观看😊 #加藤小夏原文 #加藤小夏

    📸 @nisiosazane #加藤小夏 ×4
    小夏さんのメガネ姿の素晴らしさに共感して頂いてありがとうございます!
    他にもこういうのがあります✨
    4枚目の写真は、来週に最終回を迎える失恋カルタの彩世役でのメガネ姿です!
    観てない方は是非観て欲しいです😊

    感谢您分享小夏眼镜的美丽!
    还有其他类似的事情✨
    第四张照片是她戴着眼镜在《失恋歌留多》中扮演绫濑的照片,该剧将于下周迎来最后一集!
    如果你还没有看过,请务必观看😊 #加藤小夏
    原文 #加藤小夏