サイト内検索

詳細検索

ヘルプ

セーフサーチについて

性的・暴力的に過激な表現が含まれる作品の表示を調整できる機能です。
ご利用当初は「セーフサーチ」が「ON」に設定されており、性的・暴力的に過激な表現が含まれる作品の表示が制限されています。
全ての作品を表示するためには「OFF」にしてご覧ください。
※セーフサーチを「OFF」にすると、アダルト認証ページで「はい」を選択した状態になります。
※セーフサーチを「OFF」から「ON」に戻すと、次ページの表示もしくはページ更新後に認証が入ります。

2017年間ランキング

児童書・絵本・文房具 全品ポイント2倍キャンペーン (~12/26)

目次

オートマトンと形式言語の基礎

オートマトンと形式言語の基礎 (数理情報科学シリーズ)

  • 五十嵐 善英(著)/ Forbes D.Lewis(著)/ 山崎 浩一(著)/ 舩田 眞里子(著)
  • 第1章 基礎的な準備
    • 1.1 集合
    • 1.2 アルファベット、系列、言語
    • 1.3 関係、関数
    • 1.4 関係とグラフ
    • 1.5 手続き、アルゴリズム
    • 1.6 証明技法
  • 第2章 有限オートマトン
    • 2.1 決定性有限オートマトン
    • 2.2 非決定性有限オートマトン
    • 2.3 正規表現と正規集合
    • 2.4 正規集合の閉包性
    • 2.5 正規集合の決定問題
    • 2.6 状態数の最小化
  • 第3章 文脈自由言語
    • 3.1 文脈自由文法
    • 3.2 導出木
    • 3.3 文脈自由文法の簡素化
    • 3.4 チョムスキーの標準形
    • 3.5 プッシュダウン・オートマトン
    • 3.6 PDAと文脈自由文法
  • 第4章 文脈自由言語の性質
    • 4.1 反復補題
    • 4.2 文脈自由言語の閉包性
    • 4.3 所属問題
    • 4.4 曖昧な文脈自由言語
    • 4.5 決定性文脈自由言語
    • 4.6 構文解析
  • 第5章 言語のハイアラーキー
    • 5.1 句構造文法、文脈依存文法
    • 5.2 チューリング機械
    • 5.3 チューリング機械の拡張
    • 5.4 線形有界オートマトン
    • 5.5 言語クラスの演算の閉包性と決定問題の比較

情報理論・情報科学 ランキング

情報理論・情報科学のランキングをご紹介します一覧を見る