更新状況などは、こちら (Hatena::Diary 「檜山正幸のキマイラ飼育記」)でご確認ください。 「キマイラ飼育記」のRSSは http://d.hatena.ne.jp/m-hiyama/rss から取得 できます。 このインデックスの並び順は、アップロードされた時間の順です。新しい記 事は最後に追加されます。 形式言語理論への疑問など 再帰代入系 1 再帰代入系 2 「形式的」とは何だろう 順序言語 属性のための正規表現 「正規(regular)」とは何なんだ 「正規(regular)」とは何なんだ 2 正規構造 「正規(regular)」とは何なんだ 3 補足、実例など Kleene代数とその周辺 各種正規表現の(仮)記法