2019/9/11 离散事件系统学习笔记2

前闭包:白话总结就是包含原语言L中的所有前缀字符串 all the prefixes of all the strings in L.

如果语言L与其前闭包相同,就可以说该语言L是前闭合的(prefix-closed

星闭包:与前文提到的对E的运算是一样的,另外这里有一个单词个人认为值得学习一下--Note that the * operation is idempotent: (L*)*=L*.

其在编程相关理论中解释为“其任意多次执行对资源本身所产生的影响均与一次执行的影响相同。”


 Post-language

该运算在后文例子中没有看到,暂且标注为※,后期有需要再补充。

Observe that in expressions invovling several operations on languages, prefix-closure and Kleene-closerure should be applied first, and concatenation always precedes operations such as union, intersection, and set difference.(This was implicitly assumed in the above definition of L*)

意思是上述运算的优先级要高于并差补。

Example 2.1

前文我说的所谓空集,这种翻译可能会带来一些偏差,这里给出了精准的解释,该“空集”是非空语言其中只包含空字符串

剩余的几个好理解的一看就明白,不好理解的就背下来,

Projections of Strings and Languages

自然投影和简单投影(natural projection and simple projection)

l to s (large to small) 小的包含大的

书上定义给的颇为抽象,简单的解释就是对于给定的El和Es,l to s 这种运算称之为映射,其运算方法就是从大集合中刨除小集合的元素剩下的元素,然后再从运算P中提出该元素,这样就称为自然映射。

映射逆运算

逆映射

首先有幂集合的概念: set A and 2A means the power set of A. 就是集合A的所有子集。

接下来要说一下映射以及逆映射的具体运算,这一部分的理解我也是颇费功夫,多半是因为自己笨吧····我将会用通俗的话去解释然后再去细看公式这样理解起来比较透彻。

在推广到语言L中的映射运算中中,L包含于大集合的星包中,其运算结果中的元素属于小集合星包,具体运算原理是 L中的元素也就是s ,每一个s都做映射运算也就是从大集合到小集合,首先从大集合中剔除小集合没有的元素,然后再与L中的s进行对比 在s中留下相同的元素 这样组成的集合就是L的映射P(L)。这样的解释较为直白但是能够帮助我们更好的理解。

逆映射中,同样的从定义公式我们可以得到,语言Ls是包含于小集合的星包的,逆映射结果中的元素是s ,s是属于小星包的元素,其运算原理是有目标语言Ls,对大星包里的元素进行映射运算找到满足其运算结果为t的元素,这样的s组成的集合就是逆映射的结果。

自然投影在DES中起着重要作用,以下是书上的一些性质,我对这些性质的证明很感兴趣,待学习后面知识后将会做出证明。

Representation of Languages

一个词 simple 为下一节做铺垫

猜你喜欢

转载自www.cnblogs.com/Crossby/p/11504891.html