8 L:={w∈{0,1}∗|L:={w∈{0,1}∗|の長さは奇数です 1はの中央にありますww∧∧w}w} したがって、アルファベットはです。私の問題は、1と前後の文字の等価性を追跡できないことです。長さが6未満の限定DFA:{0,1}∗{0,1}∗11 どのようにして長さの単語を受け入れるように拡張できますか?出来ますか? 私はそれにサイクルを入れてみましたが、すでに述べたように、後の文字数が前の文字数と同じになるように追跡することはできません。つまり、常に真ん中にある1。11 formal-languages finite-automata formal-grammars — user8 ソース
13 いいえ、あなたがすることはできません。補題をポンピングすることによる証明:が規則的であり、がポンピング長であると仮定して、単語考慮してください。したがって、がおよびそのような。次に、です。LLnnw=0n10nw=0n10nx,y,z∈{0,1}∗x,y,z∈{0,1}∗|xy|<n|xy|<n|y|>0|y|>0xyz=wxyz=w∀i∈N0:xyiz∈L∀i∈N0:xyiz∈L しかし、その長さの制約により、とはのみで構成され、すべて前にあります。したがって、です。xxyy0011xy2z=0n+|y|10n∉Lxy2z=0n+|y|10n∉L したがって、は規則的ではなく、DFAで表現できません。LL — マーティン・グラウアー ソース