「数学ガールの秘密ノート 丸い三角関数」/結城浩

 数学ガールの秘密ノート/丸い三角関数  ◎  いつもながら、こんなむずかしいこと高校時代に思いもしなかったな […]

「思想の中の数学的構造」/山下正男

「思想の中の数学的構造」(ちくま学芸文庫)を読んだ。表紙のデザインも良い。 p115~ チョムスキーの生成文法 […]

有限オートマトン2-3.正則集合と有限オートマトン(2) その4

 そういうわけで、 定理2.3 有限オートマトンの受理集合は正則集合である。 が証明された。  この定理を「集 […]

有限オートマトン2-3.正則集合と有限オートマトン(2) その3

 省略してしまった証明部分を再読。あとあと効いてきそうなので書いておく。 各i,k∈Qに対して  Aik={a […]

有限オートマトン2-3.正則集合と有限オートマトン(2) その2

 既述のLijkのjに関する帰納法によりLijkが正則集合であることが示される。 定理2.3 有限オートマトン […]

有限オートマトン2-3.正則集合と有限オートマトン(2)

この節では、初めに前節の定理の逆、すなわち有限オートマトンの受理集合が正則集合であることを示し、次いで有限オー […]

有限オートマトン2-2.正則集合と有限オートマトン(1) その2

例2.2 正則集合X=(ab*a)*を受理する有限オートマトンM=(Q,Σ,δ,q0,F)を構成しよう。  い […]

有限オートマトン2-2.正則集合と有限オートマトン(1)

この節では任意の正則集合に対してそれを受理する有限オートマトンが存在することを示す。  任意の正則集合、とは、 […]

有限オートマトン2-1.定義 その4

 解答3  Σ*aaaΣ*の部分はこんな感じ(主要部のみ)になるはずだ。  aをbに変えて同じ形のものを作れば […]

有限オートマトン2-1.定義 その3

問2.2 次の各言語を受理する有限オートマトンを構成せよ。 {aa,bb}* {aa}*{bb}* Σ*aaa […]