書籍情報

例解図説 オートマトンと形式言語入門

関西学院大学教授博(理)岡留剛(著)

  • ¥2,376
  • 176ページ
  • 978-4-627-85271-6
  • 2015.08

書籍のカテゴリー

  • 情報工学・コンピュータ

    情報数学

ダウンロード

オートマトンや形式言語の概念を直観的に理解できるように配慮した,コンパクトなテキストです.
図や例を豊富に用いるとともに,理解を深めるのに重要な定理については例を用いて証明の流れを説明していますので,難解になりがちな数学的内容をつまずくことなく学べます.

つまずきやすい点を意識して説明を補っていますので,初めて学ぶ読者におすすめの一冊です.

第1章 オートマトンと形式言語ことはじめ
第2章 有限状態オートマトン
第3章 文法
第4章 プッシュダウンオートマトンと文脈自由文法
第5章 チューリングマシン
第6章 チョムスキーの階層
第7章 チューリングマシンの停止問題

理工学系専門書,理工学系入門書の検索

詳細検索 >>