百物語改め「九一三・六物語」

夢日記・百合・数学・怪談・神社その他

2015年（平成27年）国家公務員試験総合職二次試験　解答・解説（情報科学）

2015-06-28 | 国家公務員過去問

【2015年（平成27年）国家公務員試験総合職　二次試験　専門（記述式）　数理科学・物理・地球科学　No6　情報科学】


国家公務員総合職の二次試験の解説を少しずつしていこうと思います。

 

 

解答

 

No6

(1)ababaについて、


L(a+(bcdot a))=L(a)cup L(bcdot a)={ a} cup {ba} ={ a,ba }

L( (a+(bcdot a))^* )は{a,ba}の要素を合わせたものなので

ababain L( (a+(bcdot a))^* )・・・①

また、L(b+epsilon )={ b,Lambda }であるから、

Lambda in L(b+epsilon )・・・②

①②より、

ababaLambda =ababain L( (a+(bcdot a))^* cdot (b+epsilon ) )

よって ababain r

 

続いてabbaaについて、 abbaain rとする。（背理法の仮定）

すると

abbaa=w_1 w_2と書けて、

w_2 in L(b+epsilon )={ b,Lambda }である。

w_2=bはありえないので、

w_2=Lambda , w_1=abbaa

すると w_1=abbaain L( (a+(bcdot a))^* )

L( (a+(bcdot a))^* )は

{ a,ba }←これらの連接であるが、

a,baの連接でbが二連続で出るようなものは作れないので、これは矛盾。

よって

abbaa notin r

 

 

すいません。ここまでしか解答を作れていません。

 

http://blog.goo.ne.jp/lx2x5350/c/9a36178e64be7a6348b1eda82e5a9ce2その他過去問一覧



最新の画像［もっと見る］

コメントを投稿