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

ops/2024/9/25 10:27:25/

《自动机理论、语言和计算导论》学习第 11 天,p215-p351总结,总计 37 页。

一、技术总结

1.constrained problem

2.Fermat’s lats theorem

Fermat’s Last Theorem states that no three positive integers a, b and c satisfy the equation a^n + b^n = c^n for any integer value of n greater than 2。

二、英语总结

1.tantamount

(1)tant: as much, the same(from tantus, from tam(so),参考tandem)。

(2)amount

(3)tantamount: adj. being the same as。语法结构: be tantamount to sth。

p315, This question is tantamount to the question of what computers can do, since recognizing the strings in a language is a formal way of expressing any problem, and solving a problem is a reasonable surrogate for what it is that computers do.

2.surrogate

(1)su-:the assimilated form of sub-(in the place of)。

(2)sogare: to ask, to propose。

(3)surrogate: c. sth that is used to replace sth else。

3.venerable

(1)venus: to worship, to revere

(2)venerable: adj. deserving respect。

4.ultimate

(1)*ulter: means “beyond”, from the suffixed form of *al-(beyond)

(2) ultimus: superlative form of *alter。means “farthest, lats”

(3)ultimate: adj. most extreme(at the fathest point,极端) or important。

三、其它

无。

四、参考资料

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.ppmy.cn/ops/34434.html

相关文章

SpringApplicationBuilder启动类

SpringApplicationBuilder 原文链接:http://t.csdnimg.cn/B6L6u

python 学习: 矩阵运算

摘要: 本贴通过例子描述 python 的矩阵运算. 1. 一般乘法 (mm 与 matmul) 代码: input_mat1 torch.tensor([[1, 2, 3, 4],[1, 2, 2, 3]])input_mat2 torch.tensor([[1, 2, 3, 3],[2, 1, 2, 3],[3, 1, 2, 2],[2, 3, 2, 3]])print("input_mat1: ", input_mat1)prin…

C# 用户控件UserControl事件解绑资源释放

用户控件继承子 UserControl 。 现在有个业务需求在UserControl 所在的窗体关闭时解除事件HMouseDown绑定。 因没有相关的Close事件。后来本人想了一个办法在 ROICtlDesigner类的 Dispose 方法中执行相关的释放代码 比如解除事件绑定 释放资源 public partial class ROICt…

CMake使用

一、CMake 是什么 CMake 是一个跨平台的自动化构建系统,它使用配置文件 CMakeLists.txt 来管理软件构建过程。CMake 基于 Makefile 做了二次开发。 二、单个文件目录 # CMake 最低版本号要求 cmake_minimum_required(VERSION 3.16.3)# 工程名 project(CMakeSingle)…

新手必看!场外个股期权的权利金估算公式

场外个股期权的权利金估算公式 场外个股期权的权利金估算公式通常涉及多个因素,这些因素共同决定了权利金的具体数额。虽然具体的估算公式可能因不同的交易平台、交易规则和标的资产而有所差异,但一般来说,权利金的计算会考虑以下几个关键要…

华为 huawei 交换机 配置 MUX VLAN 示例(汇聚层设备)

组网需求 在企业网络中,企业所有员工都可以访问企业的服务器。但对于企业来说,希望企业内部部分员工之间可以互相交流,而部分员工之间是隔离的,不能够互相访问。 如 图 6-4 所示, Switch1 位于网络的汇聚层&#xff0…

Video2Game:革新游戏开发,重塑虚拟世界的未来

Video2Game:革新游戏开发,重塑虚拟世界的未来 一、Video2Game的提出与意义二、Video2Game的核心技术三、Video2Game的实现与应用四、代码实例与未来展望 在数字化和虚拟化日益盛行的今天,高质量的交互式虚拟环境,如游戏和模拟器&a…

线程池和CountDownLatch搭配使用

一,CountDownLatch CountDownLatch是Java并发编程中用于线程间协调的一个同步辅助类。它通过一个初始计数值来控制线程的等待,这个计数值在其他线程执行特定任务时递减。 初始化:创建CountDownLatch实例时,你需要指定一个整数值&…