鳥取県立図書館
図書館HP
資料検索
資料紹介
Myライブラリ
ヘルプ
図書館HP
>
検索結果一覧
>
本サイトにはJavaScriptの利用を前提とした機能がございます。
お客様の環境では一部の機能がご利用いただけない可能性がございますので、ご了承ください。
資料詳細
詳細蔵書検索
ジャンル検索
検索条件
シリーズ名
LexisNexisアメリカ法概説
ハイライト
ON
OFF
一覧へ戻る
1 件中、 1 件目
オートマトン・言語理論入門
利用可
予約かごへ
大川知/著 -- 共立出版 -- 2012.1 -- 007.1
SDI
本棚へ
所蔵は
1
件です。現在の予約件数は
0
件です。
所蔵館
所蔵場所
請求記号
資料コード
資料区分
帯出区分
状態
鳥取県立
書庫
007.1/オオカ/一般H
118683394
一般
利用可
ページの先頭へ
資料詳細
タイトル
オートマトン・言語理論入門
書名ヨミ
オートマトン ゲンゴ リロン ニュウモン
シリーズ名
未来へつなぐデジタルシリーズ
シリーズ巻次
5
著者名
大川知
/著,
広瀬貞樹
/著,
山本博章
/著
著者ヨミ
オオカワ,サトシ , ヒロセ,サダキ , ヤマモト,ヒロアキ
出版者
共立出版
出版年
2012.1
ページ数等
164p
大きさ
26cm
内容細目
文献あり 索引あり
原書名
並列タイトル:Introduction to Automata Theory and Languages
一般件名
オートマトン
,
言語(情報科学)
ISBN
4-320-12305-0
ISBN13桁
978-4-320-12305-2
定価
2400円
問合わせ番号(書誌番号)
1101829497
NDC8版
007.1
NDC9版
007.1
内容紹介
情報工学、計算機科学の最も基本的な問題である計算とは何か、言語とは何かに答えるための道具であるオートマトン、および形式言語理論を学ぶための入門書。図と具体例を多用し、わかりやすく解説する。
著者紹介
【大川】1979年東北大学大学院工学研究科電気及通信工学専攻博士課程修了。80年岩手大学工学部情報工学科助手。82年八戸工業大学工学部電気工学科講師、84年同助教授、93年同教授。93年~会津大学コンピュータ理工学部教授。電子情報通信学会員、情報処理学会員など。
著者紹介
【広瀬】1980年東北大学大学院工学研究科情報工学専攻博士課程修了、(株)富士通研究所。84年神奈川大学工学部助教授。89年富山大学工学部助教授、98年同教授。2008年富山大学工学部長。11年~富山大学理事・副学長。電子情報通信学会員、情報処理学会員。
ページの先頭へ
内容一覧
タイトル
著者名
ページ
準備
有限オートマトン
非決定性有限オートマトン
最簡形の決定性有限オートマトン
正規表現
正規言語の性質
形式文法
正規文法と有限オートマトンの等価性
文脈自由文法
文脈自由文法の標準形
プッシュダウンオートマトン
文脈自由文法と非決定性プッシュダウンオートマトンの等価
文脈自由言語ではない言語
チューリング機械
オートマトンと言語理論の応用
ページの先頭へ