【发布时间】:2015-07-22 09:25:12
【问题描述】:
假设你有一个操作 D 定义为 D(L) = {nm| n,m ∈ L} 其中 L 是 SIGMA 上的语言。如果 L 是正则的并且 D(L) 也应该是正则的。
我试图通过这样做来证明这一点:
正则语言的定义:如果存在 L = L(M) 的 DFA M,则语言 L⊆Σ* 是正则语言。 所以我们知道,由于 L 是正则的,所以有一个 DFA A = (Q, Σ, δ, q0, F),包括:
有限状态集 (Q)
称为字母表 (Σ) 的有限输入集
一个转移函数(δ : Q × Σ → Q)
开始状态 (q0)
接受状态(F⊆Q)
接受L。所以应该有一个NFA L' = (Σ, Γ, S, σ0, δ, w):
- Σ 是输入字母表(一组有限的非空符号)。
- Γ 是输出字母表(一组有限的非空符号)。
- S 是有限的非空状态集
- σ0 为初始状态
- δ 是状态转移函数
- w 是输出函数。
这对吗?
【问题讨论】:
标签: regular-language dfa nfa