電子情報通信レクチャーシリーズ<br> オートマトン・言語と計算理論

個数:
  • ポイントキャンペーン

電子情報通信レクチャーシリーズ
オートマトン・言語と計算理論

  • ウェブストアに1冊在庫がございます。(2016年12月07日 07時23分現在)

    【出荷予定日】(お取り寄せを除く)
    ■午前0時~午前10時30分までのご注文は「当日出荷」
    ■午前10時31分~午後(夜)11時59分までのご注文は「翌日出荷」
    ■医学系書籍のご注文は「翌日~3日後に出荷」

    【ご注意事項】 ※必ずお読みください
    ◆在庫数は刻々と変動しており、ご注文手続き中に減ることもございます。
    ◆在庫数以上の数量をご注文の場合には、超過した分はお取り寄せとなり日数がかかります。入手できないこともございます。
    ◆事情により出荷が遅れる場合がございます。
    ◆お届け日のご指定は承っておりません。
    ◆「帯」はお付けできない場合がございます。
    ◆特に表記のない限り特典はありません。

    ●店舗受取サービス(送料無料)をご利用いただけます。
    【カートに入れる】を選択後に全国店舗の中からお受け取り店をご指定下さい。詳細はこちら
  • ●この商品は国内送料無料です。
  • サイズ B5判/ページ数 172p/高さ 26cm
  • 商品コード 9784339018219
  • NDC分類 007.1

内容説明

計算機では、解ける問題、解けない問題、解けることは解けるが時間がかかって手に負えない問題の3種類が存在する。このことを把握するため、計算機のモデルを正確に理解し上手に使えるように指導するのが本書の目的である。

目次

1 言語とは何か・なぜ必要か
2 正規表現と有限オートマトン
3 文脈自由文法
4 プッシュダウンオートマトン
5 チューリング機械と0型文法
6 チューリング機械の停止性と決定問題
7 NP完全問題
8 最近の話題―あとがきにかえて

著者紹介

岩間一雄[イワマカズオ]
1980年京都大学大学院博士課程修了(電気工学専攻)。工学博士。現在、京都大学大学院教授。研究テーマは計算量理論、アルゴリズム理論、近似・分散アルゴリズム等の設計と解析、量子アルゴリズム