形式言語と有限オートマトン入門 : 例題を中心とした情報の離散数学
Author(s)
Bibliographic Information
形式言語と有限オートマトン入門 : 例題を中心とした情報の離散数学
コロナ社, 1996.10
- Other Title
-
Introduction to formal language and finite automaton : discrete mathematics with examples and problems
- Title Transcription
-
ケイシキ ゲンゴ ト ユウゲン オートマトン ニュウモン : レイダイ オ チュウシン ト シタ ジョウホウ ノ リサン スウガク
Access to Electronic Resource 1 items
-
Limited
Available at / 142 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
参考文献: p[186]-187
Description and Table of Contents
Description
本書は大学低学年の理工系の学生を対象としているが、内容を選択的に利用すれば、高専を含めて非専門の学科や学部、あるいは文系の学部でも利用できると考えている。第１章は予備的な章として、論理的な記述とその理解を助けるため、必要な用語と記号について簡単に説明した。第２章は、離散数学の論理的な記述に欠かせない帰納法と、形式言語の導入的な部分をまとめた。第３章は、視覚的な表現としてきわめて広範に用いられている離散グラフについて、基礎的な部分をまとめた。後半は木グラフを中心に、形式言語との関係も示した。第４章は、有限オートマトンについて、入門的な事項を中心にまとめた。第５章は、文脈自由文法と正規文法を中心に、形式言語の理論について解説した。
Table of Contents
- １ 数学的準備
- ２ 帰納的表現と形式言語
- ３ 離散グラフと木グラフ
- ４ 有限オートマトンと正規表現
- ５ 形式言語理論入門
by "BOOK database"