資料詳細

詳細蔵書検索

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

岡留剛／著 -- 森北出版 -- ２０１５．８ -- 007.1

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵場所	請求記号	資料番号	資料区分	帯出区分	状態
書庫	0071/O12/	1109267748	一般	貸出可	在庫

ページの先頭へ

資料詳細

種別	図書
タイトルコード	1110313928
タイトル	例解図説オートマトンと形式言語入門
タイトルカナ	レイカイ　ズセツ　オートマトン　ト　ケイシキ　ゲンゴ　ニュウモン
著者	岡留剛／著
著者カナ	オカドメ　タケシ
出版地	東京
出版者	森北出版
出版年	２０１５．８
ページ数	１６４ｐ
大きさ	２２ｃｍ
一般件名	オートマトン , 形式言語
NDC分類(8版)	007.1
ISBN13桁	978-4-627-85271-6
定価	２２００円
内容紹介	オートマトンや形式言語の概念を直観的に理解できるように配慮した、コンパクトなテキスト。図や例を豊富に用いるとともに、理解を深めるのに重要な定理については例を用いて証明の流れを説明した。
著者紹介	１９８８年東京大学大学院情報科学研究科博士課程修了。日本電信電話（株）入社。２００９年関西学院大学理工学部人間システム工学科教授。

ページの先頭へ