内容説明
本書では、情報工学を支えるハードウェア面の基礎については２巻に譲り、理論的基礎について詳述しています。前半では形式言語理論とチューリング機械、述語論理に中心をおいて、また後半では実際に表現、実行できるプログラミング言語として関数型言語ＬＩＳＰと論理型言語ＰＲＯＬＯＧの二つをとりあげて、できるかぎり平易に解説しました。
目次
１章 言語と文法
２章 正規文法と有限オートマトン
３章 文脈自由文法
４章 文脈自由言語の構文解析
５章 チューリング機械
６章 帰納的関数
７章 述語論理
８章 関数型言語ＬＩＳＰ
９章 ＬＩＳＰとラムダ算法
１０章 論理型言語ＰＲＯＬＯＧ
