先决条件 – 有限自动机介绍，从正则表达式设计有限自动机(第 1 集)
∈-NFA与 NFA 类似，但在 epsilon 移动上略有不同。这个自动机用允许空字符串∈ 的转换函数替换了转换函数。作为可能的输入。不消耗输入符号的转换称为 ∈-转换。
在状态图中，它们通常用希腊字母 ∈ 标记。 ∈-transitions 提供了一种方便的方法来对当前状态未知的系统进行建模：即，如果我们正在对系统进行建模并且不清楚当前状态(在处理某些输入字符串)应该是 q 还是 q’ ，那么我们可以在这两个状态之间添加一个 ∈-转移，从而使自动机同时处于两个状态。
make ∈-NFA 中常用的正则表达式：
示例：为正则表达式创建一个 ∈-NFA：(a/b)*a
参考 – 从 NFA 到 DFA 的转换，DFA 的最小化