首页 > 其他分享 >《自动机理论、语言和计算导论》阅读笔记:p115-p138

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

时间:2024-03-31 22:36:42浏览次数:244  
标签:ad p115 p138 导论 operator 自动机 analog

《自动机理论、语言和计算导论》学习第 6 天,p115-p138 总结,总计 24 页。

一、技术总结

1.associativity and comutativity

(1)commutativity(交换性): Commutativity is the property of an operator that says we can switch the order of its operands and get the same result.

描述的是操作符(operator)的性质。示例:x + y = y + x。

(2)associativity(结合性): Associativity is the property of an operator that allows us to regroup the operands when the operator is applied twice.

描述的是操作符(operator)的性质。示例:(x × y) × z = x × (y × z)。

除了associativity和comutativity,设计的algebraic law有:identities(单位元) & annihilators(零元),distribute law(分配律),idempotent law(幂等律,应用于集合) 。

二、英语总结

1.ad-hoc

ad-(to) + hic(this), to this/for this(specific purpose, particular purpose). p115, There, we gave some ad-hoc arguments why one expression could be replaced by another。

2.analogy vs analog

(1)ana-(according to) + logos(word, speech)。

(2)analogy: c/u. a comparison between things that have similar feature, often used to help explan a idea(类比)。

(3)analog(美式写法)/analogue(英式写法):c. sth that is similar to(类似物)。

p115, However, there are a few places where the analogy breaks down, and there are also some laws that apply to regular expressions but have no analog for arithmetic, especially when the closure operator is involved。

3.adversarial

(1)adversary: ad-(to) + vertere(to turn, see versus)。c. an enemy。

(2)adversarial: adversary + al。adj. involving adversary or opposition。

三、其它

如果你也在看这本书,那咱们可以交流交流。

四、参考资料

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)

标签:ad,p115,p138,导论,operator,自动机,analog
From: https://www.cnblogs.com/codists/p/18107390

相关文章

  • 后缀自动机 SAM
    后缀自动机SAM#算法SAM满足如下性质有向无环图每个转移只有一个字符接受且只接受\(S\)的后缀节点数在满足上述条件下最小考虑不满足性质\(3\),那么\(trie\)就可以做到将这个\(trie\)建出来后,发现有很多完全相同的子树定义\(endpos(s)\)表示串\(s\)在\(S\)......
  • 《自动机理论、语言和计算导论》阅读笔记:p68-p114
    《自动机理论、语言和计算导论》学习第4天,p68-p114总结,总计47页。一、技术总结1.invertedindexes明白单词的意思是“反转的索引”,但是不明白其在书中具体指什么,去查询资料的话需要花很不多时间,先继续往下看。遇到这种场景的可能性还是比较多的。2.lexicalanalysis(1)lexico......
  • 后缀自动机的一些题目的整理
    后缀自动机的一些题目的整理P3804【模板】后缀自动机(SAM)P3804【模板】后缀自动机(SAM)板子题,没啥好说的。#include<bits/stdc++.h>usingnamespacestd;typedeflonglongll;constintN=2e6+5;inttot=1,last=1,idx,n;intver[N],h[N],ne[N];chars[N];llf[N],ans......
  • 《自动机理论、语言和计算导论》阅读笔记:p49-p67
    《自动机理论、语言和计算导论》学习第4天,p49-p67总结,总计19页。一、技术总结1.DeterministicFiniteAutomata(DFA)vsNondeterministicFiniteAutomata(NFA)(1)DFA定义(2)NFA定义A"nonedeterministic"finiteautomatahasthepowertobeinseveralstatesatonce......
  • AC自动机学习笔记
    AC自动机有两个前置知识点,KMP算法和字典树KMP算法:KMP(Knuth-Morris-Pratt)算法是一种高效的字符串匹配算法,由DonaldKnuth、VaughanPratt和JamesH.Morris于1977年共同发明。KMP算法的核心思想是当字符串不匹配时,能够利用已经部分匹配的信息,避免从头开始匹配,从而提高匹配效率......
  • 《自动机理论、语言和计算导论》阅读笔记:p1-p4
    《自动机理论、语言和计算导论》学习第1天,p1-p4,总计4页。这只是个人的学习记录,因为很多东西不懂,难免存在理解错误的地方。一、技术总结1.有限自动机(finiteautomata)示例1.softwareforcheckingdigitalcircuits。2.lexicalanalyzerofcompiler。3.softwareforscannin......
  • 洛谷——P1152欢乐的跳
      思路1、接收数据2、abs得出相邻两数差的绝对值,存入数组3、用f=true,记录是否满足条件4、对数组进行排序后,判断是否等于[1,n-1]间的数,有一个不是就跳出循环 importjava.util.Arrays;importjava.util.Scanner;publicclassMain{publicstaticvoidmain(St......
  • 4.13 ACM-ICPC算法 字符串之后缀自动机
    4.13ACM-ICPC算法:字符串之后缀自动机在竞赛编程,尤其是ACM-ICPC竞赛中,字符串算法占据了极其重要的位置。其中,后缀自动机(SuffixAutomaton,简称SAM)以其强大的功能和高效的性能,成为了解决字符串问题的利器。本文旨在介绍后缀自动机的基本概念、构建方法以及在算法竞赛中的应......
  • AC自动机
    AC自动机前置芝士kmptrie介绍学算法首先肯定要清楚这个算法是用来解决啥东西的。AC自动机是用线性的复杂度来解决多模匹配的算法。额(⊙o⊙),说人话就是例如给你一堆字符串(称为模式串)和一个字符串(称为文本串),让你求模式串们在文本串出现的总次数。来直接看模板题:AC自动......
  • 回文自动机学习笔记
    回文自动机学习笔记定义所谓自动机,是一个对信号序列进行判定的数学模型。即对一连串有顺序的信号关于某一个判定给出或真或假的判定。所谓回文自动机,就是对一个字符串进行其是否为回文串的判定。也就是存储字符串\(s\)中的所有的回文串。与\(\text{SA}\)不同的是,\(\text{SA......