布爾代數(shù)與自動化

第一篇  布爾代數(shù)、向量布爾代數(shù)及其應(yīng)用
第一章 引論
第一節(jié) 集合
第二節(jié) 關(guān)系
第三節(jié) 代數(shù)系統(tǒng)
第四節(jié) 數(shù)據(jù)結(jié)構(gòu)與棧
第二章 格
第一節(jié) 偏序集
第二節(jié) 格的概念和性質(zhì)
第三節(jié) 模格
第四節(jié) 分配格
第五節(jié) 有補(bǔ)格
第六節(jié) 有補(bǔ)分配格
第三章 布爾代數(shù)
第一節(jié) 布爾代數(shù)及其性質(zhì)
第二節(jié) 布爾函數(shù)
第三節(jié) 開關(guān)代數(shù)與開關(guān)函數(shù)
第四節(jié) 向量布爾函數(shù)與布爾微分
第二篇  自動機(jī)理論及其應(yīng)用
第四章 有窮自動機(jī)的數(shù)學(xué)定義
第一節(jié) 時序線路的基本概念
第二節(jié) 有窮自動機(jī)的基本定義
第五章 有窮自動機(jī)的代數(shù)結(jié)構(gòu)
第一節(jié) S-劃分和格LM
第二節(jié) 有窮自動機(jī)的等價性和最小化的問題
第六章 有窮自動機(jī)的功能及綜合
第一節(jié) 有窮自動機(jī)的功能
第二節(jié) 正則序列集與正則表達(dá)式
第三節(jié) 不確定性有窮自動機(jī)——NFA
第四節(jié) 正則序列集與有窮自動機(jī)的關(guān)系
第五節(jié) 識別本原正則表達(dá)式的有窮自動機(jī)
第六節(jié) 正則表達(dá)式與有窮自動機(jī)的等價性
第七節(jié) “∩”運(yùn)算和“]”運(yùn)算表達(dá)式的識別及非正則表達(dá)式的判定
第七章 有窮自動機(jī)理論在數(shù)字設(shè)計中的應(yīng)用
第一節(jié) 復(fù)合功能的有窮自動機(jī)的綜合
第二節(jié) 有窮自動機(jī)理論與數(shù)字邏輯設(shè)計
第三篇  形式語言與自動機(jī)
第八章 形式語言與有窮自動機(jī)
第一節(jié) 形式語言的初步概念
第二節(jié) 文法的形式定義
第三節(jié) 文法的喬姆斯基體系
第四節(jié) 有窮自動機(jī)與正則語言的關(guān)系
第九章 上下文無關(guān)文法與下推自動機(jī)
第一節(jié) 上下文無關(guān)文法
第二節(jié) 下推自動機(jī)
第十章 圖靈機(jī)
第一節(jié) 圖靈機(jī)的基本概念
第二節(jié) 圖靈機(jī)的形式定義
第三節(jié) 圖炙機(jī)的變形
第十一章 與自動機(jī)相關(guān)問題簡介
第一節(jié) 可計算性理論
第二節(jié) 密碼學(xué)問題等簡介
第四篇  布爾矩陣
第十二章 布爾向量和布爾矩陣
第一節(jié) 布爾向量
第二節(jié) 布爾矩陣
第三節(jié) 布爾函數(shù)、布爾矩陣在自動機(jī)和計算機(jī)理論中應(yīng)用簡介
習(xí)題
參考文獻(xiàn)