《自动机理论、语言和计算导论》阅读笔记:p352-P401

《自动机理论、语言和计算导论》学习第 12 天,p352-P401总结,总计 50 页。

一、技术总结

1.Turing Machine ™

2.undecidability

​ a.Ld(the diagonalization language)

3.reduction

p392, In general, if we have an algorithm to convert instances of a problem P1 to instances of a problem P2 that have the same answer, then we say that P1 reduces to P2。

二、英语总结

1.strict vs restrict

(1)strict: adj. strongly limiting sb’s freedom to behave as they wish。只能做形容词。

(2)restrict: vt. to limit the movements of sb。adj. restricted; n. restriction。

示例1: First, we restrict the tapes of the TM to behave like stacks。

2.plausibility

(1)plausible: plaus-(to applaud)。 adj. seeming likely to be true or believed。

(2)plausibility: plausible + -ity。u. the quality of seeming likely to be true, or possible to believe。

3.rigorous

rigor(stiffness, firmness)。 adj. careful to consider every part of sth to make certain it is correct。

4.diagonalization

(1)diagonal: c. a straight line that joins two opposite corners of a four-sided flat shape, such as a square。

(2)diagonalize: vt. to put(a matrix) in a form with all the nonzero elements along the diagonal from upper left to lower right。

(3)diagonalizable: adj。

(4)diagonalization: n。

5.vital

vita(life), 后面引申出“essential to life”的之意。adj. necessary for existence of sth; extremely important。

eg: p381, Now, we can make a vital definition。

三、其它

无。

四、参考资料

1. 编程

(1)Eric S.Roberts,《自动机理论、语言和计算导论(英文版.第3版)》:https://book.douban.com/subject/2274854/

2. 英语

(1)Etymology Dictionary:https://www.etymonline.com

(2) Cambridge Dictionary:https://dictionary.cambridge.org

在这里插入图片描述

欢迎搜索及关注:编程人(a_codists)

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/831884.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

GpuMall的GPU算力资源池化技术有何优势?

GpuMall的GPU算力资源池化技术具有显著的优势,这些优势使得其在智算云领域脱颖而出,为用户提供了高效、灵活且可靠的GPU算力服务。以下是GpuMall GPU算力资源池化技术的主要优势: GpuMall智算云 | 省钱、好用、弹性。租GPU就上GpuMall,面向A…

面向未来:等保测评与持续改进

随着信息技术的不断进步和网络环境的日益复杂,网络安全正面临着前所未有的挑战。等保测评作为提升网络安全管理水平的重要手段,不仅需要应对当前的安全威胁,更应着眼于未来的安全需求。本文将探讨等保测评在持续改进中的角色和实施策略。 ##…

Git系列:config 配置

💝💝💝欢迎莅临我的博客,很高兴能够在这里和您见面!希望您在这里可以感受到一份轻松愉快的氛围,不仅可以获得有趣的内容和知识,也可以畅所欲言、分享您的想法和见解。 推荐:「stormsha的主页」…

Java中的枚举类型介绍

一、背景及定义 情景: 枚举是在JDK1.5以后引入的。 主要用途是: 将一组常量组织起来,在这之前表示一组常量通常使用定义常量的方式: 这种定义方式实际上并不好。 例如:如果碰巧有另一个变量也是1,那么…

FIFO Generate IP核使用——AXI接口信号详解

在AXI协议中,提到的s_axis_tready、s_axi_awready、s_axi_wready、m_axi_bready、s_axi_arready和m_axi_rready是AXI接口中用于指示通道就绪状态的信号。这些信号的值通常表示主设备(Master)或从设备(Slave)是否准备好…

笔记85:如何计算递归算法的“时间复杂度”和空间复杂度?

先上公式: 递归算法的时间复杂度 递归次数 x 每次递归消耗的时间颗粒数递归算法的空间复杂度 递归深度 x 每次递归消耗的内存空间大小 注意: 时间复杂度指的是在执行这一段程序的时候,所花费的全部的时间,即时间的总和而空间复…

以太网基础-IP、ICMP、ARP协议

一、IP协议 参考:rfc791.txt.pdf (rfc-editor.org) IP协议(Internet Protocol)是TCP/IP协议族中最核心的协议,提供不可靠的、无连接的、尽力而为的数据报传输服务。 IP报文数据头如下 Version:4bit,4表示…

网络模型与调试

网络模型 网络的体系结构 ● 网络采用分而治之的方法设计,将网络的功能划分为不同的模块,以分层的形式有机组合在一起。 ● 每层实现不同的功能,其内部实现方法对外部其他层次来说是透明的。每层向上层提供服务,同时使用下层提供…

机器学习(一) ----------机器学习概述

目录 概述一、人工智能三大概念人工智能(Artificial Intelligence)机器学习(Machine Learning)深度学习(Deep Learning) 二、机器学习应用领域和发展史发展史三大流派1.符号主义学派(基于数理逻…

Elasticsearch:如何使用 Java 对索引进行 ES|QL 的查询

在我之前的文章 “Elasticsearch:对 Java 对象的 ES|QL 查询”,我详细介绍了如何使用 Java 来对 ES|QL 进行查询。对于不是很熟悉 Elasticsearch 的开发者来说,那篇文章里的例子还是不能单独来进行运行。在今天的这篇文章中,我来详…

MySQL CRUD进阶

前言👀~ 上一章我们介绍了CRUD的一些基础操作,关于如何在表里进行增加记录、查询记录、修改记录以及删除记录的一些基础操作,今天我们学习CRUD(增删改查)进阶操作 如果各位对文章的内容感兴趣的话,请点点小…

【网络编程下】五种网络IO模型

目录 前言 一.I/O基本概念 1.同步和异步 2.阻塞和非阻塞 二.五种网络I/O模型 1.阻塞I/O模型 2.非阻塞式I/O模型 ​编辑 3.多路复用 4.信号驱动式I/O模型 5. 异步I/O模型 三.五种I/O模型比较​编辑 六.I/O代码示例 1. 阻塞IO 2.非阻塞I/O 3.多路复用 (1)select …

Electron 对 SQLite 进行加密

上一篇讲了如何在 Electron使用 SQLite,如果 SQLite 中存有敏感数据,客户端采用明文存储风险很高,为了保护客户数据,就需要对数据进行加密,由于 electron 对代码并不加密,所以这里排除通过逆向工程进行数据…

想要快速接收的看过来:Cell旗下毕业神刊,中科院二区、平均审稿周期1个月,冲!

我是娜姐 迪娜学姐 ,一个SCI医学期刊编辑,探索用AI工具提效论文写作和发表。 就是它了,Cell旗下全OA期刊iScience。影响因子5.8分,中科院二区,年发文量逐年上涨,2023年发文近3000篇,2024年第一季…

一周学会Django5 Python Web开发 - Django5 ModelForm表单定义与使用

锋哥原创的Python Web开发 Django5视频教程: 2024版 Django5 Python web开发 视频教程(无废话版) 玩命更新中~_哔哩哔哩_bilibili2024版 Django5 Python web开发 视频教程(无废话版) 玩命更新中~共计51条视频,包括:2024版 Django5 Python we…

一种算法分类方式及其应用

在计算机科学领域,算法是解决问题的有效方法,而对算法进行分类有助于理解它们的特性、优劣以及在不同场景下的应用。常见的算法分类方法,包括按设计思想、问题类型、数据结构和应用领域等,每一类算法会对应有其典型和实际应用。 算…

spring boot3多模块项目工程搭建-上(团队开发模板)

⛰️个人主页: 蒾酒 🔥系列专栏:《spring boot实战》 目录 写在前面 多模块结构优缺点 模块介绍 Common 模块: API 模块: Web 模块: Service 模块: DAO 模块: 搭建步骤 1.创建 父…

深入理解分布式事务⑨ ---->MySQL 事务的实现原理 之 MySQL 中的XA 事务(基本原理、流程分析、事务语法、简单例子演示)详解

目录 MySQL 事务的实现原理 之 MySQL 中的XA 事务(基本原理、流程分析、事务语法、简单例子演示)详解MySQL 中的 XA 事务1、XA 事务的基本原理1-1:XA 事务模型图:1-2:XA 事务模型的两阶段提交操作:Prepare …

在 MySQL 中使用 init_connect 与 binlog 实现用户操作追踪记录

目录 1. 建监控连接信息的表 2. 设置变量 init_connect(不需要重启服务器) 3. 分配用户权限 4. 解析并过滤 binlog 5. 查询客户端信息 6. 还原 参考: 需求:查出有哪些 IP 修改了表 sod_song_artist_relation。 方案&#…

Stable Diffusion webUI 最全且简单配置指南

Stable Diffusion webUI 配置指南 本博客主要介绍部署Stable Diffusion到本地,生成想要的风格图片。 文章目录 Stable Diffusion webUI 配置指南1、配置环境(1)pip环境[可选](2)conda环境[可选] 2、配置Stable Diffu…