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

2024-03-25 13:04

本文主要是介绍《自动机理论、语言和计算导论》阅读笔记:p5-p27,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

《自动机理论、语言和计算导论》学习第2天,p5-p27总结,总计23页。

一、技术总结

1.集合

(1)commutative law of union.

(2)distribute law of union.

2.归纳法(induction) & 演绎法(deduction)

(1)归纳法:从许多个别的事实或原理中概括出一般的、普遍性的原理或法则。

(2)演绎法:从一般事实或原理出发,得出个别事实或特殊原理。

简而言之,归纳法就是个别或特殊到一般的推理过程,而演绎法则是从一般到个别或特殊的推理过程。(节选自应老师的文章:《中学生必须掌握的逻辑知识(一)》https://mp.weixin.qq.com/s/ssbpU4lV6A4fAjILDeDDlQ)

二、英语总结

1.capitalized words

之前看到capitalize只记得是大写,今天看到capitalized words,不禁疑惑words是首字母大写还是整个单词大写?查了下词典,意思是:to write a letter of alphabet as a capital, or to write the first letter of a word as a capital——单词首字母大写。

2.theorem vs theory

A theorem is a result that can be proven to be true from a set of axioms. The term is used especially in mathematics where the axioms are those of mathematical logic and the systems in question.

A theory is a set of ideas used to explain why something is true, or a set of rules on which a subject is based on. In science, a theory explaining real world behaviour can not strictly be “proved”, only “disproved”, since you might always run a later experiment finding a case where it doesn’t work.(from stackexchange)

3.commutative

(1) commute > commutative。

(2)commute: come-(intensive prefix) + mutare(to exchange)。vi/vt. change sth。

(3)commutative: adj. (of a calculation) giving the same result whatever order the values are in。

4.distributive

(1)distribute > distributive。

(2)distribute: dis-(individually, separately) + tribuere(to pay, assign, grant)。

(3)distributive: (of a mathematical operation)giving the same result wether parts are acted on in combination or separately。

三、其它

1.阅读方法总结

因为个人的专业方向为Python web开发方向,所以从实用性角度来说,自己并不知道这本书所讲的内容是否真的对自己当前的工作带来帮助(从目录看,个人觉得相关性不大),同时也不知道哪些是重点需要看的,所以第一遍采用速读的方式,首要任务就是把书读完。

对于英语单词,应为不懂的太多了,不可能做到每个单词记笔记,只能选择一部分记了。如果再次遇到,还是不懂,只能再次查字典。

以上两点不一定对,只是一种尝试,阅读完整本书后再回头看看,目前的决定是否正确。

四、参考资料

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)

这篇关于《自动机理论、语言和计算导论》阅读笔记:p5-p27的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/845093

相关文章

windows和Linux使用命令行计算文件的MD5值

《windows和Linux使用命令行计算文件的MD5值》在Windows和Linux系统中,您可以使用命令行(终端或命令提示符)来计算文件的MD5值,文章介绍了在Windows和Linux/macO... 目录在Windows上:在linux或MACOS上:总结在Windows上:可以使用certuti

C语言中位操作的实际应用举例

《C语言中位操作的实际应用举例》:本文主要介绍C语言中位操作的实际应用,总结了位操作的使用场景,并指出了需要注意的问题,如可读性、平台依赖性和溢出风险,文中通过代码介绍的非常详细,需要的朋友可以参... 目录1. 嵌入式系统与硬件寄存器操作2. 网络协议解析3. 图像处理与颜色编码4. 高效处理布尔标志集合

Go语言开发实现查询IP信息的MCP服务器

《Go语言开发实现查询IP信息的MCP服务器》随着MCP的快速普及和广泛应用,MCP服务器也层出不穷,本文将详细介绍如何在Go语言中使用go-mcp库来开发一个查询IP信息的MCP... 目录前言mcp-ip-geo 服务器目录结构说明查询 IP 信息功能实现工具实现工具管理查询单个 IP 信息工具的实现服

C 语言中enum枚举的定义和使用小结

《C语言中enum枚举的定义和使用小结》在C语言里,enum(枚举)是一种用户自定义的数据类型,它能够让你创建一组具名的整数常量,下面我会从定义、使用、特性等方面详细介绍enum,感兴趣的朋友一起看... 目录1、引言2、基本定义3、定义枚举变量4、自定义枚举常量的值5、枚举与switch语句结合使用6、枚

Go 语言中的select语句详解及工作原理

《Go语言中的select语句详解及工作原理》在Go语言中,select语句是用于处理多个通道(channel)操作的一种控制结构,它类似于switch语句,本文给大家介绍Go语言中的select语... 目录Go 语言中的 select 是做什么的基本功能语法工作原理示例示例 1:监听多个通道示例 2:带

利用Python快速搭建Markdown笔记发布系统

《利用Python快速搭建Markdown笔记发布系统》这篇文章主要为大家详细介绍了使用Python生态的成熟工具,在30分钟内搭建一个支持Markdown渲染、分类标签、全文搜索的私有化知识发布系统... 目录引言:为什么要自建知识博客一、技术选型:极简主义开发栈二、系统架构设计三、核心代码实现(分步解析

C语言函数递归实际应用举例详解

《C语言函数递归实际应用举例详解》程序调用自身的编程技巧称为递归,递归做为一种算法在程序设计语言中广泛应用,:本文主要介绍C语言函数递归实际应用举例的相关资料,文中通过代码介绍的非常详细,需要的朋... 目录前言一、递归的概念与思想二、递归的限制条件 三、递归的实际应用举例(一)求 n 的阶乘(二)顺序打印

C语言中的数据类型强制转换

《C语言中的数据类型强制转换》:本文主要介绍C语言中的数据类型强制转换方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录C语言数据类型强制转换自动转换强制转换类型总结C语言数据类型强制转换强制类型转换:是通过类型转换运算来实现的,主要的数据类型转换分为自动转换

利用Go语言开发文件操作工具轻松处理所有文件

《利用Go语言开发文件操作工具轻松处理所有文件》在后端开发中,文件操作是一个非常常见但又容易出错的场景,本文小编要向大家介绍一个强大的Go语言文件操作工具库,它能帮你轻松处理各种文件操作场景... 目录为什么需要这个工具?核心功能详解1. 文件/目录存javascript在性检查2. 批量创建目录3. 文件

C语言实现两个变量值交换的三种方式

《C语言实现两个变量值交换的三种方式》两个变量值的交换是编程中最常见的问题之一,以下将介绍三种变量的交换方式,其中第一种方式是最常用也是最实用的,后两种方式一般只在特殊限制下使用,需要的朋友可以参考下... 目录1.使用临时变量(推荐)2.相加和相减的方式(值较大时可能丢失数据)3.按位异或运算1.使用临时