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