计算理论笔记 10月10日

1 自动机生成一个语言，如果我们想要画补语言的状态转换图，只需将终结态变成非终结态，非终结态变成终结态即可。

2 有穷自动机的另一种表达方法

当我们存在一个不能确定的变量时，这时我们采用五元组进行表示。

例如：对每一个变量i，设计一个自动机能够识别（字符表0,1生成的字符串，其中字符串有连续i倍数的1）。

3 正规语言是一个自动机能够识别的字符串的集合（注意这里可以证明DFA和NFA都成立）。

4 正规运算符包括并操作，连接操作，和星操作。

5 正规语言在以上三种正规运算符中是封闭的。

6 证明在并下是封闭的，其实是一种并行的思路。

但是对于连接操作和星操作我们只能通过NFA进行证明（NFA更强大）。

7 按照6给的步骤，我们可以知道：交运算，补运算已经证明过（终止状态和非终止状态取反即可），所以差运算也可以证明是封闭的。

计算理论笔记 10月10日相关推荐

传智播客刘意_2015年Java基础视频-深入浅出精华版笔记（2015年10月25日23:28:50）
day01 win 7系统打开DOS有趣方法:按住shift+右键,单击"在此处打开命令窗口"(注意:在此处可以是任何的文件夹,不一定是桌面) 用DOS删除的文件不可以在回收站恢复 ...
10月23日，相约全球边缘计算大会·上海站
全球边缘计算大会·上海站,将于10月23日在上海召开. 本次大会,既有前沿技术研究分享,又有边缘计算落地实践.应用案例,是一次边缘计算领域的大型综合性会议. 早上设置了1个主会场,下午设置3个分会场, ...
从键盘输入一个日期，格式为yyyy-M-d 要求计算该日期与1949年10月1日距离多少天
/** 从键盘输入一个日期,格式为yyyy-M-d要求计算该日期与1949年10月1日距离多少天例如:用户输入了:1949-10-2程序输出:1用户输入了:1949-11-1程序输出:31 */ im ...
MapReduce算法（计算出10月1日这天全天停运的车辆，）
需求 :计算出10月1日这天全天停运的车辆 package CzC.demo03;import CzC.demo02.TaxiCsDriver; import org.apache.hadoop.co ...
MapReduce算法（计算出10月1日这天载客次数超过10次的车辆，载客总次数，载客详细时间。）
需求 :计算出10月1日这天载客次数超过10次的车辆,载客总次数,载客详细时间. package CzC.demo03;import CzC.demo02.TaxiCsDriver; import o ...
MapReduce算法（计算出10月1日这天超速（超过120）的车辆，超速的次数，超速的详细时间）
需求 :计算出10月1日这天超速(超过120)的车辆,超速的次数,超速的详细时间 package CzC.demo02;import org.apache.hadoop.conf.Configurat ...
计算任意一天距1949年10月1日的天数
/** * @version * @author JavaHanlei * 计算任意一天距1949年10月1日的天数: * */ import java.util.Scanner; public cl ...
10月15日计算机视觉基础学习笔记——分割网络的设计
文章目录前言一.分割器的设计 1.优化:减小 feature map 2.上采样 up sampling 二.经典分割模型的涨点方法前言本文为10月15日计算机视觉基础学习笔记--分割网络的设 ...
程序猿学习笔记~2020年10月26日(数据类型与条件语句)
Java学习日记~2020年10月26日基本数据类型整数类型整数类型有byte.short.int.long.在不同位数的操作系统占用不同的字节.在64位操作系统中,它们分别占1.2.4.8个字 ...
获香港证监会颁发牌照的弘量研究，正用智能投顾帮助金融机构降低成本，提升资产管理能力 By 藤子2017年10月09日 17:16 撰文 | 藤子 2015 年，雷春然和黄耀东都是在香港科技大学的
获香港证监会颁发牌照的弘量研究,正用智能投顾帮助金融机构降低成本,提升资产管理能力 By 藤子2017年10月09日 17:16 撰文 | 藤子 2015 年,雷春然和黄耀东都是在香港科技大学的图书馆 ...

计算理论笔记 10月10日

计算理论笔记 10月10日相关推荐

最新文章

热门文章