• 本

オートマトン・言語理論入門

未来へつなぐデジタルシリーズ 5

出版社名 共立出版
出版年月 2012年1月
ISBNコード 978-4-320-12305-2
4-320-12305-0
税込価格 2,640円
頁数・縦 164P 26cm

商品内容

目次

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

出版社
商品紹介

コンピュータ上の計算とは何か、言語とは何かについて学びたい文系・理系の読者のためのオートマトン・形式言語理論入門書。

著者紹介

大川 知 (オオカワ サトシ)  
1979年3月東北大学大学院工学研究科電気及通信工学専攻博士課程修了(工学博士)。1980年7月岩手大学工学部情報工学科助手。1982年4月八戸工業大学工学部電気工学科講師。1984年4月八戸工業大学工学部電気工学科助教授。1993年1月八戸工業大学工学部電気工学科教授。4月‐現在、会津大学コンピュータ理工学部教授。電子情報通信学会員、情報処理学会員、日本オペレーションズリサーチ学会員、日本ソフトウェア科学会員、日本数式処理学会員、言語処理学会員、計測自動制御学会員
広瀬 貞樹 (ヒロセ サダキ)  
1980年3月東北大学大学院工学研究科情報工学専攻博士課程修了(工学博士)。4月株式会社富士通研究所。1984年4月神奈川大学工学部助教授。1989年8月富山大学工学部助教授。1998年3月富山大学工学部教授。2008年4月富山大学工学部長。2011年4月‐現在、富山大学理事・副学長。電子情報通信学会員、情報処理学会員
山本 博章 (ヤマモト ヒロアキ)  
1985年3月東北大学大学院工学研究科情報工学専攻博士後期課程修了(工学博士)。4月東北大学電気通信研究所助手。1986年10月山形大学工学部助手。1988年4月信州大学工学部助手。12月信州大学工学部助教授。2003年7月‐現在、信州大学工学部教授。電子情報通信学会員、情報処理学会員、日本ソフトウェア科学会員、EATCS会員(本データはこの書籍が刊行された当時に掲載されていたものです)