19、有限状态自动机、正则表达式与正则文法详解

最新推荐文章于 2025-11-24 20:38:58 发布

tree

最新推荐文章于 2025-11-24 20:38:58 发布

阅读量14

点赞数

CC 4.0 BY-SA版权

分类专栏：编程视角下的形式语言文章标签：有限状态自动机正则表达式正则文法

本文链接：https://blog.youkuaiyun.com/tree/article/details/153966713

编程视角下的形式语言专栏收录该内容

50 篇文章 ¥499.90

订阅专栏¥69.90

会员秒杀 ¥9.9 重磅福利

超级会员免费看

有限状态自动机、正则表达式与正则文法详解

1. 有限状态自动机与正则表达式

在处理有限状态自动机（Finite-State Automatons）和正则表达式（Regular Expressions）时，一个重要的操作是移除节点（rip-out-node）。以下是该操作的测试代码：

;; Tests for rip-out-node
(check-equal?
  (rip-out-node
    'A
    '((S ,(singleton-regexp "a") A) (A ,(singleton-regexp "b") B)))
  '((S ,(concat-regexp (singleton-regexp "a") (singleton-regexp "b")) B)))
(check-equal?
  (rip-out-node
    'C
    '((S ,(singleton-regexp "a") A) (S ,(singleton-regexp "b") B)
      (A ,(singleton-regexp "a") C) (B ,(singleton-regexp "b") C)
      (C ,(singleton-regexp "a") D) (C ,(singleton-regexp "b") E)))
  '((S ,(singleton-regexp "a") A)
    (S ,(singleton-regexp "b") B)
    (A ,(concat-regexp (singleton-regexp "a") (singleton-regexp "a")) D)
    (