未来へつなぐデジタルシリーズ オートマトン・言語理論入門
2,640
著者：大川 知/広瀬 貞樹/山本 博章【著】
出版社：共立出版
出版社：共立出版
商品説明
目次
準備
有限オートマトン
非決定性有限オートマトン
最簡形の決定性有限オートマトン
正規表現
正規言語の性質
形式文法
正規文法と有限オートマトンの等価性
文脈自由文法
文脈自由文法の標準形
プッシュダウンオートマトン
文脈自由文法と非決定性プッシュダウンオートマトンの等価
文脈自由言語ではない言語
チューリング機械
オートマトンと言語理論の応用
著者等紹介
大川知［オオカワサトシ］
１９７９年３月東北大学大学院工学研究科電気及通信工学専攻博士課程修了（工学博士）。１９８０年７月岩手大学工学部情報工学科助手。１９８２年４月八戸工業大学工学部電気工学科講師。１９８４年４月八戸工業大学工学部電気工学科助教授。１９９３年１月八戸工業大学工学部電気工学科教授。４月‐現在、会津大学コンピュータ理工学部教授。電子情報通信学会員、情報処理学会員、日本オペレーションズリサーチ学会員、日本ソフトウェア科学会員、日本数式処理学会員、言語処理学会員、計測自動制御学会員
広瀬貞樹［ヒロセサダキ］
１９８０年３月東北大学大学院工学研究科情報工学専攻博士課程修了（工学博士）。４月株式会社富士通研究所。１９８４年４月神奈川大学工学部助教授。１９８９年８月富山大学工学部助教授。１９９８年３月富山大学工学部教授。２００８年４月富山大学工学部長。２０１１年４月‐現在、富山大学理事・副学長。電子情報通信学会員、情報処理学会員
山本博章［ヤマモトヒロアキ］
１９８５年３月東北大学大学院工学研究科情報工学専攻博士後期課程修了（工学博士）。４月東北大学電気通信研究所助手。１９８６年１０月山形大学工学部助手。１９８８年４月信州大学工学部助手。１２月信州大学工学部助教授。２００３年７月‐現在、信州大学工学部教授。電子情報通信学会員、情報処理学会員、日本ソフトウェア科学会員、ＥＡＴＣＳ会員（本データはこの書籍が刊行された当時に掲載されていたものです）
【ご確認ください】
■ご注文確定時に在庫切れの場合もございます。
ご注文時の在庫先によっては4日以上（〜7日）かかる場合もございます。 当ストアではお取り寄せのご対応を行っておりません。
■ご予約品と既刊商品はカート・ご注文番号が分かれます。
ひとつのご注文番号におまとめすることはできません。
※ご予約品のうち、発売日が同じ商品のみひとつのカート・ご注文番号でご注文可能です。
※送料はご注文番号ごとに計算されます。
■ギフトなどのためにお届け先を別住所に登録されましても、金額入りの明細書は商品に同梱されます。当ストアでは一切のギフト対応を行っておりません。
■ご注文・お問い合わせの前に「お買い物ガイド」「ご注意点」をよくお読みください。
■お届け日のご指定は承っておりません。
■「帯」はお付けできない場合がございます。
■ご注文確定時に在庫切れの場合もございます。
ご注文時の在庫先によっては4日以上（〜7日）かかる場合もございます。 当ストアではお取り寄せのご対応を行っておりません。
■ご予約品と既刊商品はカート・ご注文番号が分かれます。
ひとつのご注文番号におまとめすることはできません。
※ご予約品のうち、発売日が同じ商品のみひとつのカート・ご注文番号でご注文可能です。
※送料はご注文番号ごとに計算されます。
■ギフトなどのためにお届け先を別住所に登録されましても、金額入りの明細書は商品に同梱されます。当ストアでは一切のギフト対応を行っておりません。
■ご注文・お問い合わせの前に「お買い物ガイド」「ご注意点」をよくお読みください。
■お届け日のご指定は承っておりません。
■「帯」はお付けできない場合がございます。