计算理论学习笔记（一）

确定性有穷自动机（DFA） 定义 注意：允许没有接受状态，此时接受语言为空集；转移函数对每一个状态和每一个可能的输入都恰好指定了一个状态。 定义正则运算的并、连结和星号 正则运算的并，连结和星号都是封闭的，后面在证明DFA与NFA等价后，会用NFA对其进行证明。 常见语言的DFA状态图举例 c题含某子串，首先画出对应的子串，然后再判断其它输入的状态转换即可。 f题不含某个子串，首先画出含某个子串的

>>阅读原文<<