正如我们所了解的,给定正则表达式模式(例如,A B A B A C),我们可以将其转换为DFA。在这个例子中,它就像一个链(您可以测试它)。这个“链式”DFA可以判断给定的字符串是否与模式匹配(即接受/拒绝它);但不能判断字符串中是否有任何事件,并标识所有字符串。示例:假设这是要搜索的字符串:A B C A B A B A B A C A B C
虽然有一个从第6个字符开始的事件,但“链状”DFA无法分辨这
这些天我正在学习lambda微积分,发现它非常漂亮和有趣,但是我还没有找到如何实现LISP的EQ原语,它判断两个符号是否相同。我已经找到了许多实现整数算法(使用教会数)和布尔逻辑的材料,但是没有找到EQ的解决方案。. u symbol x) (lambda u . u symbol y)) --> False
如果我们在有限集中限制符号,例如Symbols = {A, B, C},那么我们可以定义