オートマトン・言語理論入門(未来へつなぐデジタルシリーズ〈5〉) [全集叢書]

オートマトン・言語理論入門(未来へつなぐデジタルシリーズ〈5〉) の 商品概要

• 目次（「BOOK」データベースより）

  準備
  有限オートマトン
  非決定性有限オートマトン
  最簡形の決定性有限オートマトン
  正規表現
  正規言語の性質
  形式文法
  正規文法と有限オートマトンの等価性
  文脈自由文法
  文脈自由文法の標準形
  プッシュダウンオートマトン
  文脈自由文法と非決定性プッシュダウンオートマトンの等価
  文脈自由言語ではない言語
  チューリング機械
  オートマトンと言語理論の応用

• 著者紹介（「BOOK著者紹介情報」より）（本データはこの書籍が刊行された当時に掲載されていたものです）

  大川 知(オオカワ サトシ)
  １９７９年３月東北大学大学院工学研究科電気及通信工学専攻博士課程修了（工学博士）。１９８０年７月岩手大学工学部情報工学科助手。１９８２年４月八戸工業大学工学部電気工学科講師。１９８４年４月八戸工業大学工学部電気工学科助教授。１９９３年１月八戸工業大学工学部電気工学科教授。４月‐現在、会津大学コンピュータ理工学部教授。電子情報通信学会員、情報処理学会員、日本オペレーションズリサーチ学会員、日本ソフトウェア科学会員、日本数式処理学会員、言語処理学会員、計測自動制御学会員
  
  広瀬 貞樹(ヒロセ サダキ)
  １９８０年３月東北大学大学院工学研究科情報工学専攻博士課程修了（工学博士）。４月株式会社富士通研究所。１９８４年４月神奈川大学工学部助教授。１９８９年８月富山大学工学部助教授。１９９８年３月富山大学工学部教授。２００８年４月富山大学工学部長。２０１１年４月‐現在、富山大学理事・副学長。電子情報通信学会員、情報処理学会員
  
  山本 博章(ヤマモト ヒロアキ)
  １９８５年３月東北大学大学院工学研究科情報工学専攻博士後期課程修了（工学博士）。４月東北大学電気通信研究所助手。１９８６年１０月山形大学工学部助手。１９８８年４月信州大学工学部助手。１２月信州大学工学部助教授。２００３年７月‐現在、信州大学工学部教授。電子情報通信学会員、情報処理学会員、日本ソフトウェア科学会員、ＥＡＴＣＳ会員

オートマトン・言語理論入門(未来へつなぐデジタルシリーズ〈5〉) の商品スペック