计算理论和自动机教程188金宝搏真人20

  • 最近更新时间 ：2019年1月29日

最近关于计算理论的文章

作品简介:

  1. 计算理论导论
  2. 乔姆斯基层次结构
  3. 各种自动机的应用

正则语言和有限自动机:

  1. 有限自动机的介绍
  2. ARDEN的定理和具有挑战性的应用程序|套2
  3. l-graphs以及它们代表的内容
  4. 假设(语言规律性)和算法(L-graph to NFA)
  5. 正则表达式，常规语法和常规语言
  6. 如何识别语言是否是常规的
  7. 浪漫的定理
  8. 来自正则表达式的有限自动机
  9. 星际高度正常表达和常规语言
  10. 从有限自动机生成正则表达式
  11. 设计确定性有限自动机（Set 1）
  12. 设计确定性有限自动机（套装2）
  13. DFA用于串以“the”结尾
  14. 一个至少有两个0和两个1的字符串的DFA
  15. 接受语言L = {anb米甚至| n + m =}
  16. DFA机器接受奇数个0或/和偶数个1
  17. RHS中第二个符号为' a '的字符串的DFA
  18. 在DFA中的联合过程
  19. DFA中的串联过程
  20. LEX代码中的DFA接受偶数数量的零和偶数。
  21. NFA到DFA转换
  22. 程序实现NFA与移动到DFA转换
  23. 最小化DFA
  24. DFA中的反转过程
  25. DFA中的补充过程
  26. Kleene的定理第1部分
  27. MEALY和MOORE机器
  28. Mealy机器和Moore机器的区别

练习有限自动机的问题
练习有限自动机的问题
>>测验常规语言和有限自动机

语境自由语法和语境自由语言:

  1. 语法与语言之间的关系
  2. 简化上下文自由语法
  3. Close Wellual语言的关闭属性（CFL）
  4. 规则语言与汉语教学的联合与交集
  5. 语境自由语法转换为乔姆斯基范式
  6. 将上下文免费语法转换为Greibach正常形式
  7. 泵送引理
  8. 检查语言是否是免费的上下文
  9. 语境无关语法中的歧义
  10. 操作符语法和优先解析器
  11. 上下文敏感语法（CSG）和语言（CSL）

下推自动机:

  1. 下推自动机
  2. 最终状态下推自动机接受
  3. 为给定的语言构造下推自动机
  4. 构造所有长度回文的下推自动机
  5. 下推自动机的详细研究
  6. npda接受语言l = {anb米cn|m，n> = 1}
  7. npda接受语言l = {anbnc米|m，n> = 1}
  8. npda接受语言l = {anbn|n> = 1}
  9. npda接受语言l = {a米b（2米）|m> = 1}
  10. npda接受语言l = {a米bncpd问| m + n = p + q;m, n, p, q > = 1}
  11. 构建L = {0的下推自动机n1米2米3.n|m，n？0}
  12. 构建L = {0的下推自动机n1米2(n + m)|m，n？0}
  13. npda接受语言l = {a米bnc(n + m)|m，n？1}
  14. npda接受语言l = {a米b(n + m)cn|m，n？1}
  15. npda接受语言l = {a2Mb3M| m ?1}
  16. npda接受语言l = {a米b（2M + 1）| m ?1}
  17. npda接受语言l = {a我bjckdl|i == k或j == l，i> = 1，j> = 1}
  18. 构造L = {a .}的下推自动机（2 * m）c(4 * n)dnb米|m，n？0}
  19. 构建L = {0的下推自动机n1米2(n + m)|m，n？0}
  20. npda for l = {0我1j2ki==j or j==k;I, j, k >= 1}
  21. npda接受语言l = {anb(2 n)U {anbn | n>=1}
  22. NPDA语言L = {W？{A，B} * |w包含相同的号码。a和b的}

    >>自由语境语言和下推自动机测试

图灵机：



  1. 制品
  2. 加入机器
  3. 减法机器|设置1
  4. 用于乘法的图灵机
  5. 图灵机复制数据
  6. 构造语言L ={0的图灵机n1n2nn | ?1}
  7. 构建语言L = {WWr|W？{0,1}}
  8. 构造一个图灵机语言L = {ww |w ?{0,1}}
  9. 构造L = {anb米一个(n + m)|n，m？1}
  10. 为L = {a .构造一个图灵机我bjck|我* j = k;我，j，k？1}
  11. 1和2的补码的图灵机
  12. 递归和递归枚举语言
  13. 图灵机减法|集合2
  14. 停止的问题
  15. 各种自动机的应用
  16. 图灵机作为比较器
    >>图灵机和递归枚举集测验

可判定性:

  1. 可决定问题和不可决定问题
  2. 可判定性
  3. 不可剥离性和还原性
  4. np - complete | Set 1 (Introduction)
  5. 凭证哈密顿路径是NP-Complete
  6. 证明顶点封面是NP完成
  7. 可计算和不可计算的问题

>>测验不可思议

快速链接 ：

如果您发现任何不正确的任何内容，请写出评论，或者您想要共享有关上面讨论主题的更多信息。

我个人的笔记 arrow_drop_up.