APP下载
反馈
7.2 上下文无关语言的封闭性(上)
收藏
下载
手机看
扫描二维码 用手机看
已观看至0分0秒
打开网易公开课APP-我的-右上角扫一扫,在手机上观看,还可以缓存视频,加入学习计划
还没有公开课客户端?立即下载
0播放
选集(0)
自动播放
登录后可发评论

评论沙发是我的~

热门评论(0)
    全部评论(0)
      形式语言与自动机理论
      • 学校:哈尔滨工业大学
      • 集数:74
      • 课程简介:计算理论是关于计算知识的有系统的整体,本是数学的一个研究领域,诞生于数理逻辑学家对计算本质的探索。这里的计算 (Computation) 并不是指纯粹的算术 (Calculation),而是指一种以 “机械而有效的” 方式获取问题答案的过程。随着计算理论的发展最终促使了计算机的发明,计算理论的重心也从数学转到了计算机科学,而计算理论关心的核心问题是:计算(机)的基本能力和限制究竟是什么?这个问题中包含了两个内容,分别对应计算理论的两个研究方向:可计算性理论和计算复杂性理论, 而形式语言与自动机理论正是这两个重要的研究方向的理论基础。为了能够严谨的研究这种机械而有效的计算过程,我们需要严格定义的概念去描述它,需要严谨的计算模型去分析它。这个概念,其实就是已经被我们大家所熟知的“算法”(Algorithm);而这些模型呢,就是我们将要在课程中主要学习的自动机理论,包括有穷自动机、下推自动机和图灵机等几种自动机装置,还包括一些与自动机形式上不相似但能力上却完全相同的模型,如正则表达式和文法等。
      相关推荐
      10:30
      原始版09.最难的一节课.什么是上...
      722播放
      03:36
      根据上下文选择合适的句子,这种题很...
      1416播放
      07:23
      【判断推理】第06讲属性——曲直性...
      1310播放
      11:23
      4-1上下文的提示以及判断推理在完...
      1218播放
      09:41
      【逻辑用语】3、简单的逻辑联结词
      1906播放
      14:28
      【山东大学公开课:汉语知识十讲】歧...
      2.7万播放
      07:26
      判断推理第24讲 类比推理 语法类...
      1057播放
      05:10
      3.14 语法分析-非二义且非LR...
      868播放
      07:10
      4.1语义的定义、类型和性质(下)
      1832播放
      07:56
      S03E27.文本注释(下)
      1528播放
      12:04
      24-4-5谓词逻辑推理的规则02...
      1252播放
      03:12
      语文字词解析,千夫所指,众矢之的,...
      708播放