问题标签 [equivalence]

我正在使用的平台是 DrScheme。

我已经看到一对(a b)[constructed by (cons a b)] 在语言中实现，就像一个看起来像这样的过程：

和选择器：

然后是列表，使用表达式 like 构造(cons a (cons b (cons c (cons ...))))。

现在，我试图理解的是这个（在 DrScheme 的提示下输入）：

好的，l2 只是一个列表（即程序等），就像我描述的 abode 一样，但是…… l1 是什么？一个符号？字符序列？不管它是什么，它是如何在语言中实现的？谢谢！

嗨，我正在为考试而学习，并遇到了以下问题：

记录历史（或时间表）

其中w1[x]意味着：事务 1 写入数据对象 X（r1[x]意味着读取）并且c1意味着：事务 1 提交。

为什么这个事务视图是可序列化的？

对于视图可串行化，历史 H 必须是视图等效于事务 1、2、3 的顺序执行。因此，此外，每个数据对象的最后写入必须与历史 H 事务的顺序执行中的相同。因此 H 的最后写入是：

• x 和 y 的转换 3 和
• z 的交易 1

但是，在没有顺序执行的情况下，最后一次写入是这样分布的，所以历史 H 不能被视为可序列化的。

我的错误在哪里？

谢谢大家。

我正在开始一个项目，我想尝试在类似 java 的编程语言中识别关系代数。

例如，给定两个关系： AmericanActor(Name) EuropianActor(Name)

RA 中的以下表达式：

应该等效于以下程序：

我正在寻找有关此主题的任何出版物。

我试图通过给出两种语言 L1 和 L2 来确定它们是否等效（L1 = L2）来找出算法是什么。

正如我发现的那样，想出一个令人惊讶的困难，尽管我很确定它需要首先转换为 DFA，然后将它们中的每一个都减少到最小的 DFA ..

另外，我知道如果 L1 - L2 和 L2 - L1 为空，则 L1 = L2。

这里有理论好的人吗？

C中是否存在结构类型等价？

在 MSBuild 条件下，您如何做得小于或大于？我已经尝试了以下变体，无论是否包含值周围的单引号，但没有骰子

<PropertyGroup Condition="$(Var1) > 50">

<PropertyGroup Condition="$(Var1) &gt 50">

有人可以告诉我我错过了什么吗？

谢谢

假设我有：

变量a和b名称是否等效（更具体地说，由于原始类型没有类型名称，它们是否可以被视为名称等效）？

谢谢。

我一直试图理解 JavaScript 的比较运算符之间的区别：身份和相等。根据我的阅读，如果您使用 == 检查两个对象的相等性，JavaScript 将尝试确定它们是否为同一类型，如果不是，则尝试将它们设为同一类型。但是， === 的行为方式不同。举个例子：

那么这些“身份”运算符和常规的相等运算符有什么区别呢？两者兼得有什么好处？

性能上有区别吗？我认为身份运算符会更快，因为它不进行转换。

此外，当涉及到更复杂的对象（如数组）时，它们有何不同？最重要的是，约定什么时候应该使用另一个，为什么？

我一直在阅读Douglas Crockford 的JavaScript: The Good Parts，我遇到了这个对我来说没有意义的奇怪示例：

作者还继续提到“永远不要使用==and !=。相反，总是使用===and !==”。但是，他没有解释为什么会出现上述行为？所以我的问题是，为什么上面的结果是这样的？JavaScript 中没有考虑传递性吗？

在许多情况下，JavaScript 的类型强制相等运算符是不可传递的。例如，请参阅“ JavaScript 相等传递性很奇怪”。

但是，是否存在==不对称的情况？也就是说，在哪里a == b，true在b == a哪里false？