このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」（http://d.hatena.ne.jp/m-hiyama-memo/）のデータを移行・保存したものであり、今後（2019年1月以降）更新の予定はありません。

今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。

オートマトンとかグラフとかの記事へのリンク

メモ リンク 説明

まったく未整理。

  1. 基本的な概念 - 檜山正幸のキマイラ飼育記 メモ編
  2. アルファベット、文、言語 - 檜山正幸のキマイラ飼育記 メモ編
  3. 入れ子のオートマトンはトレースで実現 - 檜山正幸のキマイラ飼育記 メモ編
  4. オートマトングラフの比較アルゴリズム - 檜山正幸のキマイラ飼育記 メモ編
  5. スパンとオートマトン - 檜山正幸のキマイラ飼育記 メモ編
  6. 正規表現、オートマトン、包含、型推論 - 檜山正幸のキマイラ飼育記 メモ編
  7. ブルゾゾウスキイ導分とダイクストラ波動 - 檜山正幸のキマイラ飼育記 メモ編
  8. オートマトンのゴールノード - 檜山正幸のキマイラ飼育記 メモ編
  9. S型オートマトンとT型オートマトン - 檜山正幸のキマイラ飼育記 メモ編
  10. オートマトンの連接 - 檜山正幸のキマイラ飼育記 メモ編
  11. 結局できたような気がする、アルゴリズム - 檜山正幸のキマイラ飼育記 メモ編
  12. 力学系とオートマトン - 檜山正幸のキマイラ飼育記 メモ編
  1. term, termset, termset term - 檜山正幸のキマイラ飼育記 メモ編
  2. オートマトン、余オートマトン、文法 - 檜山正幸のキマイラ飼育記 メモ編
  3. 模倣と行列計算 - 檜山正幸のキマイラ飼育記 メモ編
  4. 2010-06-10 - 檜山正幸のキマイラ飼育記 メモ編
  5. 再帰方程式系とパス方式定義 - 檜山正幸のキマイラ飼育記 メモ編
  1. 正規表現の意味論とその拡張 - 檜山正幸のキマイラ飼育記
  2. お絵描きで学ぶ・無限正規ツリーとBNF(バッカス／ナウア形式) - 檜山正幸のキマイラ飼育記
  3. 圏論番外：有向グラフのパスの圏（実装付き） - 檜山正幸のキマイラ飼育記
  4. グラフ理論の基本概念 誤用例はなしっ - 檜山正幸のキマイラ飼育記
  5. グラフ理論の基本概念とその誤用例 -- mixiがどうしたってぇ？ - 檜山正幸のキマイラ飼育記
  6. 未定義な遷移の解釈 -- 3つの立場 - 檜山正幸のキマイラ飼育記
  7. 状態遷移機械と非決定性遷移 - 檜山正幸のキマイラ飼育記