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

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

基本的な概念

形式言語理論 XML 説明 用語法
  1. アルファベット
  2. 列
  3. 列言語
  4. 列正規表現
  5. 列オートマトン
  6. 釣り合い列（balanced sequence）
  7. ツリーアルファベット（分岐ノード記号とリーフノード記号）
  8. ツリーシリアライズ
  9. ツリーパターン
  10. ツリー正規言語
  11. 連接と包囲（enclosing）
  12. 明瞭性（Bruggemann-Klein & Wood）
  13. トラバース双対グラフ
  14. Glushkov-McNaughton-Yamada 構成
  15. 縮約、集約、折りたたみ（contraction, aggregation, unfolding）
  16. 模倣、双模倣

[追記]

  1. スタック（プッシュダウン）オートマトン
  2. カウンターオートマトン
  3. 明瞭性を保った縮約条件
  4. 非可達ノードの除去