摘要: 内容 形式语言与自动机:正则语言、上下文无关语言、图灵机 可计算性:可判定、可归约 计算复杂性:时间、空间、难解性 正则语言 确定有穷自动机DFA:$M=<Q,\Sigma,\delta,q_0,F>,\delta:Q\times\Sigma\rightarrow Q$ M 接受字符串:$w=w_1 阅读全文
posted @ 2017-12-28 10:47 yunfeng_net 阅读(1642) 评论(0) 推荐(0) 编辑