講座系 オートマトン・言語と計算理論「有限オートマトンの同型」
本シリーズでは、以下の本に沿って解説を書いている。 前回は、有限オートマトンの等価と、言語の補集合を認識する有限オートマトンを解説した。 等価は今回も使うので、不安なら復習しておこう。 以下がその記事だ。 さて、今回は…申し訳ないが、再度横...
講座系 講座系 オートマトン・言語と計算理論「有限オートマトンの等価と言語の補集合」
本シリーズでは、以下の本に沿って解説を書いている。 前回は番外編ということで、有限オートマトンを表現するプログラムを作成した。 ちょっと長い記事だが、気になる人は見てみよう。 それまでは何をしていたかというと、有限オートマトンについて解説を...
講座系 有限オートマトンをプログラムで組んでみた
本シリーズでは、以下の本に沿って解説を書いている。 前回まで、有限オートマトンに関するあれこれを書いてきた。 有限オートマトン自体の定義は以下の記事。 そして、直積オートマトンと、状態の等価性は以下の記事だ。 今回は、本筋からちょっと外れて...
講座系 オートマトン・言語と計算理論「直積オートマトンと状態の等価性」
本シリーズでは、以下の本に沿って解説を書いている。 前回は、有限オートマトンを解説した。 色々と定義したが、細かい単位で見れば難しいことはないはず。 不安になったら、それが何を言っていたか、定義を見直してみよう。 以下がその記事だ。 今回は...
講座系 オートマトン・言語と計算理論「有限オートマトン」
本シリーズでは、以下の本に沿って解説を書いている。 前回は、形式言語の形に合わせた正規表現を定義した。 今回はちょっとその範囲から外れるが、後でまた戻ってくるので忘れないようにしてほしい。 以下がその記事だ。 さて、今回は前回解説できなかっ...
講座系 オートマトン・言語と計算理論「正規表現」
前回から、以下の本に沿って解説を書いている。 前回は、形式言語というものを扱った。 最小単位は記号で、その集合はアルファベット。 アルファベットに含まれる記号を並べたものを、そのアルファベット上の列。 そして、その列の集合が、形式言語という...
講座系 オートマトン・言語と計算理論 – 導入「形式言語」
突然だが、プログラムを作りたくなった。 やりたいことは、文字列として入力された数式をプログラムで解釈し、計算すること。 ただやるだけであれば、BNFを作ってそれをプログラムに落とし込めばいい。 そこで、BNFをもう一度しっかり勉強しようとし...
弐寺講座 【弐寺】トリル・デニムはなぜ難しいのか？練習方法は？
以前、弐寺の地力の全体像をまとめた。 以下の記事だ。 …だいぶ間が空いてしまったが、各個別の記事を書き始めることとしよう。 今回は、トリル・デニムについて解説していく。 対象はこれらが分からない初心者から、苦手な方まで含める。 まずはそもそ...
ディープラーニングのための数学勉強結果 ディープラーニングのための数学勉強結果「勾配降下法」
本シリーズでは、以下の本に沿って数学を解説している。 前回は微分編第三回、多変数関数の微分について解説した。 多変数関数については、その独立変数の一つに着目し、それ以外を定数として見なして微分する偏微分という方法を使う。 今回の内容にも出て...
ディープラーニングのための数学勉強結果 ディープラーニングのための数学勉強結果「多変数関数の微分」
本シリーズでは、以下の本に沿って数学を解説している。 前回は微分編2回目ということで、合成関数の微分と、関数の最小値に関する原理を説明した。 各種公式だったり、記号なんかも出てきたが、理解できただろうか。 特に記号は今回もガンガン使っていく...