丘奇 - 图灵论题称,若一类问题有一个有效的方法解决,则这类问题可以被某个图灵机解决。 其中,「有效的方法」需要满足: 1. 包含有限条清晰的指 … 展开
简单来说,如果存在正数 使得一个算法的时间复杂度为 (注意,不是 ),其中 为问题规模(输入的长度),则称这个算法是 多项式时间 的。如果一个问题有(确定性图灵机上的)多项式时间的算法来解决,则这个问题属于复杂度类 。 多项式时间可分为强多项式时间和弱多项 … 展开
网页课程主要内容为计算理论的基础知识,包括:. 语言、自动机与正则表达式. 课程基本概念、常用记号、语言的定义. 确定性 和 非确定性 的有限自动机(DFA 和 NFA). DFA 和 NFA …
网页2019年5月27日 · 【北京大学】理论计算机科学基础(全70讲)共计70条视频,包括:0 课程介绍、1-1 预备知识、1-2 确定型有穷自动机例子等,up主更多精彩视频,请关注up账号。
网页2021年10月9日 · 【MIT18.404】计算理论基础(完结)—理论研究或算法应用的基础课共计25条视频,包括:1. 引言,有限自动机,正则表达式、2. Nondeterminism, Closure Properties, Conversion of Regular …
网页2017年12月14日 · 北京大学“理论计算机科学基础”课程共计69条视频,包括:1-1 预备知识、1-2 确定型有穷自动机例子、1-3 确定型有穷自动机的形式化定义等,UP主更多精彩视频,请关注UP账号。.
网页本书是理论计算机科学领域的名作,是计算机科学核心主题的导论性教材。 全书分为可计算性、文法与自动机、逻辑学、复杂性及语义学5个部分,分别讲述了可计算性理论、形式 …
网页《计算理论基础》(第2版)介绍了计算理论最核心、最基本的内容,包括形式语言与自动机、可计算性和计算复杂性三大部分。 全书共分七章,分别为:集合、关系和语言;有穷自 …
网页《计算理论基础(世界著名计算机教材精选)》由辛格编著,本书讨论了计算机科学中的纯粹、引人注目并且普遍存在的基本内容,介绍构成基本计算范例的基本概念、模型、技巧、 …
网页本课程面向计算机科学与技术相关专业一年级研究生,拟介绍计算理论相关的数学基础、三种典型的计算模型的设计思想、方法和计算能力分析。 它是计算机科学相关专业的理论基 …
网页本课程内容涵盖了形式语言与自动机理论、可计算性理论、计算复杂性理论等最基本的那部分内容。