オートマトンと形式言語の基礎(数理情報科学シリーズ〈24〉) [全集叢書]

オートマトンと形式言語の基礎(数理情報科学シリーズ〈24〉) の 商品概要

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

  第１章　基礎的な準備（集合
  アルファベット、系列、言語　ほか）
  第２章　有限オートマトン（決定性有限オートマトン
  非決定性有限オートマトン　ほか）
  第３章　文脈自由言語（文脈自由文法
  導出木　ほか）
  第４章　文脈自由言語の性質（反復補題
  文脈自由言語の閉包性　ほか）
  第５章　言語のハイアラーキー（句構造文法、文脈依存文法
  チューリング機械　ほか）

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

  五十嵐 善英(イガラシ ヨシヒデ)
  １９７１年東北大学大学院博士課程修了（工学博士）。１９７２年Ｅｄｉｎｂｕｒｇｈ大学客員研究員。１９７４年Ｌｅｅｄｓ大学講師。１９７７年Ｃｉｔｙ大学（ロンドン）講師。１９７８年群馬大学助教授。１９８３年群馬大学教授。現在、群馬大学名誉教授。専門は計算機科学
  
  リュウイス,フォーブス(リュウイス,フォーブス／Lewis,Forbes D.)
  １９７０年Ｃｏｒｎｅｌ大学大学院博士課程修了（Ｐｈ．Ｄ．）。１９７０年Ｈａｒｖａｒｄ大学助教授。１９７５年Ｎｅｗ　Ｙｏｒｋ　Ｓｔａｔｅ　Ｕｎｉｖｅｒｓｉｔｙ（Ａｌｂａｎｙ校）准教授。１９７８年Ｋｅｎｔｕｃｋｙ大学准教授。１９８３年Ｋｅｎｔｕｃｋｙ大学教授。現在、Ｋｅｎｔｕｃｋｙ大学名誉教授。専門は計算機科学
  
  山崎 浩一(ヤマザキ コウイチ)
  １９８９年東京電機大学大学院修士課程修了。現在、群馬大学教授（博士（理学））。専門は計算機科学
  
  舩田 眞里子(フナダ マリコ)
  １９８９年青山学院大学大学院博士課程修了。現在、白鴎大学教授（博士（工学））。専門はＨＣＩ（Ｈｕｍａｎ　Ｃｏｍｐｕｔｅｒ　Ｉｎｔｅｒａｃｔｉｏｎ）

オートマトンと形式言語の基礎(数理情報科学シリーズ〈24〉) の商品スペック