形式言語と有限オートマトン入門 : 例題を中心とした情報の離散数学
著者
書誌事項
形式言語と有限オートマトン入門 : 例題を中心とした情報の離散数学
コロナ社, 1996.10
- タイトル別名
-
Introduction to formal language and finite automaton : discrete mathematics with examples and problems
- タイトル読み
-
ケイシキ ゲンゴ ト ユウゲン オートマトン ニュウモン : レイダイ オ チュウシン ト シタ ジョウホウ ノ リサン スウガク
電子リソースにアクセスする 全1件
大学図書館所蔵 全143件
この図書・雑誌をさがす
注記
参考文献: p[186]-187
内容説明・目次
内容説明
本書は大学低学年の理工系の学生を対象としているが、内容を選択的に利用すれば、高専を含めて非専門の学科や学部、あるいは文系の学部でも利用できると考えている。第１章は予備的な章として、論理的な記述とその理解を助けるため、必要な用語と記号について簡単に説明した。第２章は、離散数学の論理的な記述に欠かせない帰納法と、形式言語の導入的な部分をまとめた。第３章は、視覚的な表現としてきわめて広範に用いられている離散グラフについて、基礎的な部分をまとめた。後半は木グラフを中心に、形式言語との関係も示した。第４章は、有限オートマトンについて、入門的な事項を中心にまとめた。第５章は、文脈自由文法と正規文法を中心に、形式言語の理論について解説した。
目次
- １ 数学的準備
- ２ 帰納的表現と形式言語
- ３ 離散グラフと木グラフ
- ４ 有限オートマトンと正規表現
- ５ 形式言語理論入門
「BOOKデータベース」 より