计算理论基础
文章平均质量分 92
lsslcj
这个作者很懒,什么都没留下…
展开
-
计算理论基础:4、复杂性理论
DTIMEDTIMEDTIMETN→NTN→N,语言L∈DTIMETnL∈DTIMETn)),当且仅当存在一个多带图灵机(常数带),可以在时间OTnO(T(n))OTn))的时间里判定LLLPEXPP、EXPPEXPP⋃c≥1DTIMEncP⋃c≥1DTIMEnc(多项式时间)Exp⋃c1DTIME2ncExp⋃c1。原创 2024-05-23 21:29:45 · 682 阅读 · 0 评论 -
计算理论基础:3、可计算性
的平行带为双向无限的(双向纸带可被单带模拟,相差常数级),。以内都是半满的,所以需要移动这么多次才会再遇到。每个区域只有三个状态:空的,满的或者时半满的。根据引理3.9,我们知道一个多带图灵机可在。移动纸带,而不是移动指针。完成一次操作后,那么接下来的。内转化为一个单带图灵机。的每一步,UTM u 将。中的缓冲符号的数目只能为。 存在一个多带图灵机。的时间(移动纸带就需要。带标志组成的列向量,次的移动指标不会超过。操作),因此,最多有。原创 2024-04-18 21:55:27 · 926 阅读 · 0 评论 -
计算理论基础:2、丘奇-图灵论题
Def3.1Def\ 3.1Def3.1图灵机是一个7元组Q∑Γδq0qacceptqrejectQ∑Γδq0qacceptqrejectQ∑ΓQ∑Γ都是有穷集合,并且QQQ是状态集∑\sum∑是输入字母表,不包括特殊空白符号⊔\sqcup⊔Γ\GammaΓ是带子字母表,其中,⊔∈Γ⊳∈Γ∑⊆Γ⊔∈Γ⊳∈Γ∑⊆ΓδQ×Γ→Q×Γ×L。原创 2024-03-26 20:38:32 · 882 阅读 · 0 评论 -
计算理论基础:1、自动机与语言
计算理论基础中的自动机与语言部分,参考教材为计算理论导引原创 2024-03-08 08:00:00 · 1497 阅读 · 1 评论