假设您将操作D定义为D(L)= {nm | n,m∈L}其中L是SIGMA上的语言。如果L是规则的,D(L)也应该是规则的。
我试图通过以下方式证明这一点:
正则语言的定义:语言L⊆Σ*是正则的,如果有一个DFA,则L = L(M)。 所以我们知道由于L是常规的,所以有一个DFA A =(Q,Σ,δ,q0,F),包括:
一组有限的状态(Q)
一组有限的输入,称为字母(Σ)
过渡函数(δ:Q×Σ→Q)
开始状态(q0)
接受州(F⊆Q)
接受L.所以应该有一个NFA L'=(Σ,Γ,S,σ0,δ,w):
这是正确的吗?
答案 0 :(得分:1)
你的证据让我很困惑。我正在写提示证明语言D:= {nm |如果语言L是常规的,则n,m∈L}是常规的。
提示:D是两种常规语言L n 和L m 的串联(笛卡尔积),其中L n = L m = L - hance D也是一种常规语言。检查wiki。
绘制DFA,
注意:如果你不解释它是如何接受语言D的话,你的老师不会给你满分。你必须写第五点 - 因为当你消耗一个∈L你到达最后一个状态时F n ,然后不消耗任何符号,你转移到DFA M的开始状态(L m )然后处理任何m∈L你到达到F n 的最终状态这证明D是常规语言。选一本好书,学习如何正式编写这些步骤。
写正则表达式:
再次解释NM如何接受D。