文献

J-GLOBAL ID：201702218689758166   整理番号：17A1619251

オートマトン理論再考

Automata Theory Revised

著者 (1件)： 新屋良磨 (東京大学大学院情報理工学系研究科コンピュータ科学専攻)
資料名： コンピュータソフトウェア  (Computer Software)
巻： 34  号： 3  ページ： 3_3-3_35(J-STAGE)  発行年： 2017年 
JST資料番号： Y0628A  ISSN： 0289-6540  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： オートマトンは最も単純な計算のモデルである.その単純さゆえに初学者にとっても理解しやすく,情報系の学部においては「計算理論」や「形式言語理論」などの講義はまずオートマトンから教え始めることが標準となっている.一方,その単純さゆえに理論的な深みやさらなる研究の余地がないと誤解されることもしばしばあり,また,講義や解説書においても応用的な需要からかより強力な計算モデルに重きが置かれることも多い.本サーベイではオートマトン理論の基礎から始め,三話構成でオートマトン・形式言語理論の様々な定理を解説していく.解説する定理の中には,オートマトン理論における古典的な結果に別の視点を新たに与えるものもあれば,オートマトン・形式言語理論と関わりのなさそうな分野との意外な繋がりを見せるものもある.オートマトン理論に習熟している方にも楽しんでもらえるよう,最近の結果や話題についても内容に盛り込んだ.(著者抄録)

シソーラス用語： *オートマトン理論 ,  *オートマトン ,  性質 ,  *計算理論 ,  *形式言語 ,  計算機アルゴリズム
準シソーラス用語： 可理解性 ,  計測モデル

分類 (3件)： オートマトン理論  (JB04000O) ,  計算理論  (JB02000A) ,  数理言語学  (JB05000V)

タイトルに関連する用語 (1件)： オートマトン理論