「honto 本の通販ストア」サービス終了及び外部通販ストア連携開始のお知らせ
詳細はこちらをご確認ください。
このセットに含まれる商品
前へ戻る
- 対象はありません
次に進む
商品説明
オートマトンや形式言語の概念を直観的に理解できるように配慮したコンパクトなテキスト。初学者でもつまづきにくいよう、豊富な図と例で丁寧に説明する。【「TRC MARC」の商品解説】
オートマトンや形式言語の概念を直観的に理解できるように配慮した,コンパクトなテキストです.
図や例を豊富に用いるとともに,理解を深めるのに重要な定理については例を用いて証明の流れを説明していますので,難解になりがちな数学的内容をつまずくことなく学べます.
つまずきやすい点を意識して説明を補っていますので,初めて学ぶ読者におすすめの一冊です.【本の内容】
目次
- 第1章 オートマトンと形式言語ことはじめ
- 1.1 オートマトンと形式言語を学ぶ意義
- 1.2 オートマトンと形式言語とは
- 1.3 オートマトン
- 1.4 数学的準備
- 1.5 写像
- 1.6 数学的帰納法と背理法
- 1.7 形式言語理論の用語
- 第2章 有限状態オートマトン
- 2.1 決定性有限状態オートマトンと受理言語
著者紹介
岡留 剛
- 略歴
- 〈岡留剛〉東京大学大学院情報科学研究科博士課程修了。関西学院大学理工学部人間システム工学科教授。理学博士。
あわせて読みたい本
この商品に興味のある人は、こんな商品にも興味があります。
前へ戻る
- 対象はありません
次に進む
この著者・アーティストの他の商品
前へ戻る
- 対象はありません
次に進む