・検索 ・平衡木 ・ハッシュ ・コリジョン ・照合 ・Rabin-Karpのアルゴリズム ・Knuth-Morris-Prattのアルゴリズム ・Boyer-Mooreのアルゴリズム ・データ圧縮 ・エントロピー符号化 ・ユニバーサル符号化 ・ＭＰＥＧ ・ＪＰＥＧ ・記憶域管理 ・ヒープ ・断片化 ・ガーベジコレクション ・参照回数法 ・素朴なしるしづけ ・Deutsch法 ・Schorr法 ・Waite法 ・空ブロックのつめ直し ・使用可能ブロックの選択 ・ブロックの解放 ・分身法 ・記憶のつめ直し ・素朴な方法 ・Morris法
| 目次に戻る |
・ＮＰ完全問題 ・多項式時間 ・決定性アルゴリズム ・非決定性アルゴリズム ・巡回セールスマン問題 ・ナップザック問題 ・近似アルゴリズム ・確率アルゴリズム ・分岐限定法 ・動的計画法 ・遺伝的アルゴリズム ・近似アルゴリズム ・ＮＰ完全問題 ・ＮＮ法 ・δ-絶対近似アルゴリズム ・δ-相対近似アルゴリズム ・確率アルゴリズム ・素数判定 ・Rabin法
| 目次に戻る |
・形式言語 ・言語 ・形式文法 ・アルファベット ・語 ・文 ・正規文法 ・文脈自由文法 ・文脈規定文法 ・句構造文法 ・プッシュダウンオートマトン ・線形拘束オートマトン ・チューリング機械 ・言語族 ・正規言語 ・文脈自由言語 ・文脈規定言語 ・句構造言語 ・有限オートマトン ・正規表現 ・正規文法 ・言語 ・正規言語 ・形式言語 ・文脈自由文法 ・直構文変換法 ・言語 ・形式言語 ・ＢＮＦ ・プッシュダウンオートマトン ・属性文脈自由文法
| 目次に戻る |