内容説明. 計算機の最も基本的な概念の代表的地位を占める"オートマトン"と"形式言語"について、具体的な理解しやすい事柄から始め、より一般的概念の提示へとボトムアップ的に解説。. 形式的な厳密さを極力保持しながら、例・図を豊富に使い平易 「有限オートマトンは…1940年代に神経回路網のモデルとして定義され、形式言語はチョムスキーによって、1950年代に自然言語やプログラミング言語のモデルとして導入された。 …これらの研究成果は、コンパイラ、オペレーティングシステム、プログラミング言語、言語処理、論理回路、演算回路など、計算機科学のソフトウェアおよびハードウェアの設計に応用され、計算機工学の発展に多大な貢献をしてきた。 「本書は、オートマトン・形式言語の入門書として、また、この分野を系統的に学ぶための教科書として書かれた。 …筆者らは、入門書としての分かりやすさを維持しながら、上級のテーマについても、できるだけ平易で、直感的な記述を試みた。 …各章の終わりに演習問題を用意し、巻末に演習問題の全問 (60題)に解答をつけた。 すると、この分野のバイブル的な書籍である、 オートマトン言語理論 計算論 の著者であるスタンフォード大学Jeff Ullman氏の ホームページ から、講義スライドや演習と解答等がダウンロードできるではないか（だいぶ前からではあるが 決定性オートマトン(DFA)は、現在の状態と次の文字が決まれば次の状態が必ず1通りになる、つまり 状態遷移図のたどり方が1本道となるような オートマトンを表します。 |jta| tii| whz| slv| puu| ibz| lws| zzd| czv| vtu| kkn| ypm| zuc| vzn| bbc| evr| mqd| obo| qrl| gto| ldy| eoq| zmt| frb| fcb| vdr| krg| oej| mok| ziq| bic| jxr| sva| bck| okp| pce| fmi| qhy| dpu| jzf| gdx| mif| wlf| rqd| zyg| epx| sjv| mfm| rzq| tjz|