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

评论沙发是我的~

热门评论(0)
    全部评论(0)
      形式语言与自动机理论
      • 学校:哈尔滨工业大学
      • 集数:74
      • 课程简介:计算理论是关于计算知识的有系统的整体,本是数学的一个研究领域,诞生于数理逻辑学家对计算本质的探索。这里的计算 (Computation) 并不是指纯粹的算术 (Calculation),而是指一种以 “机械而有效的” 方式获取问题答案的过程。随着计算理论的发展最终促使了计算机的发明,计算理论的重心也从数学转到了计算机科学,而计算理论关心的核心问题是:计算(机)的基本能力和限制究竟是什么?这个问题中包含了两个内容,分别对应计算理论的两个研究方向:可计算性理论和计算复杂性理论, 而形式语言与自动机理论正是这两个重要的研究方向的理论基础。为了能够严谨的研究这种机械而有效的计算过程,我们需要严格定义的概念去描述它,需要严谨的计算模型去分析它。这个概念,其实就是已经被我们大家所熟知的“算法”(Algorithm);而这些模型呢,就是我们将要在课程中主要学习的自动机理论,包括有穷自动机、下推自动机和图灵机等几种自动机装置,还包括一些与自动机形式上不相似但能力上却完全相同的模型,如正则表达式和文法等。
      相关推荐
      01:41
      小升初:学霸哭着最后一题不会,10...
      1056播放
      02:54
      配方法突然不灵了,怎么办?学霸突然...
      836播放
      01:21
      这题不会做?听学霸娓娓道来
      1111播放
      01:31
      太有趣了,13-13=10怎能成立...
      1384播放
      02:39
      g(x)=3x+2,f(g(x))...
      1108播放
      05:01
      真是不简单,这道不容易做出来,学霸...
      1475播放
      01:29
      学霸:我不是被吓大的!
      1830播放
      01:36
      这题怎么简便,如果你不会,看看学霸...
      1401播放
      02:16
      边边角证明全等,学霸都不会
      736播放
      00:33
      学霸疑惑!我们的方法一样吗?
      2002播放
      01:38
      学霸来试试看,需要一半留下一半是个...
      1138播放
      01:13
      学霸说不会,土上有两人,一人单独走
      1520播放
      00:07
      我震惊了,人怎么能聪明到这个程度。...
      1623播放
      01:48
      学霸来试试,三人两口一匹马,说的是...
      830播放