ええか、Lが正規言語やと仮定すると、Lを受理するDFAがあるやんか。こんときの状態数をNとしとくぞ。
そうやな、全状態を女子アナ、a^(N)になるまでに通る状態を東京スカパラダイスオーケストラで名付けておいたら分かりやすいな。おっちゃんそういうの得意やで、がはは。ちょっと待ってな、書くから。
中野美奈子、生野陽子、前田有紀、……、皆藤愛子(N人)
茂木欣一、川上つよし、GAMO、……、谷中敦(N+1人)
今N人の女子アナのマンコとN+1人の東京スカパラダイスオーケストラのチンポがあるやんか? ええか? ついてきてんか?
こんとき、はとの巣原理によりな、ここ重要やで、はとの巣原理を使うことによってな、少なくとも同じ状態qに二回以上なる必要があんねん。そんときの状態qを高橋真麻やとするぞ。そうそう、あいつの焼くパイが美味いんや。
a^(j)
┌─┐
↓ │
高橋真麻┘
ちゅうことは、高橋真麻のマンコには東京スカパラダイスオーケストラのチンポが少なくとも二人分入るってことやんか。これをNARGOと北原雅彦やとするで。ええな。しかしナーゴてねえ、君、ナーゴて。
こんとき、a^(j)^(n)でも全く同じ受理状態に至らんとあかんねん。でもnむっちゃ大きくしたらこれは題意と反するやろ? 矛盾や。ちゅうことは、仮定が間違ってたってことや。つまり、Lは正規表現ちゃう。これもう証明終わってんねん。すごいやろ?
まあこれで少しは分かったかな? つまりなー、これは「正規」言語ちゃうくて、「性器」言語やった、ってことやな、がはは。おっちゃんこういうのも得意やねん。がはは。おう、んじゃなあ兄ちゃん。またなあ。
※2010年度入学試験における出題ミスについてのお詫び
訂正箇所:第二問 問題本文中
『高橋真麻のマンコには東京スカパラダイスオーケストラのチンポが少なくとも二人分入るってことやんか。』
と記述してあるが、
『真麻のマンコに北原雅彦、アナルにNARGOが挿入していた』
という事実が発覚したため、文中の証明自体が誤っていた。
対応:当該設問について全員正解とし、うちで作ったおいしいジャムあげるー。