Skip to content

Commit

Permalink
.
Browse files Browse the repository at this point in the history
  • Loading branch information
ShenMian committed Oct 27, 2024
1 parent 722c78c commit 0f67d1c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs/计算理论/正则表达式.md
Original file line number Diff line number Diff line change
Expand Up @@ -44,7 +44,7 @@
若 $M_1$ 识别 $A_1$, $M_2$ 识别 $A_2$, 则有一台 DFA $M_3$ 能识别 $A_1 \cup A_2$.

一个简单的思路是将输入分别交给 $M_1$ 和 $M_2$ 识别, 只要有一台自动机接受输入, 则 $M_3$ 也接受.
但确定有限自动机无法直接实现这种操作, 因为确定有限自动机的运行(即状态的转移)需要**消耗字符串中的字符**, 因此无法多次**尝试**同一个字符串.
但确定有限自动机无法直接实现这种操作, 因为确定有限自动机的运行 (即状态的转移) 需要**消耗字符串中的字符**, 因此无法多次**尝试**同一个字符串.

可行的方法是将两台自动机合并, 使他们并行处理一个字符串.

Expand Down

0 comments on commit 0f67d1c

Please sign in to comment.