Kleene定理 Theorem 6(Kleene’s Theorem) 所有可以被 正则表达式 有限自动机 状态转换图 中的任意 ̷

有限状态自动机 又双叒叕一种新的定义语言的方法 一个有趣的比喻   想象一下几个人一起玩大富翁，首先其中有一个人掷出骰子，然后该玩 …

正则表达式 一种定义语言的新方法   之前提到过许多种定义一个语言的方法，诸如： 1. \mathcal{L_1}=\lbrace …

递归定义 定义   递归定义(Recursive Definition)是一种定义集合的方法，一般包含三个步骤: 1. 指出有一些 …

语言 定义   形式语言中的形式意为语言的所有规则都是被明确指定的，不考虑隐喻和深层含义等等因素，同时也意味我们更重视语言的外在形 …

Monads(八) 上次我们找到了monad pattern的最终规则；当然，在之前我们就知道了这个模式的重点部分是那个叫做Cre …

Monad(七) 时间回到1992年，我(是原作者不是我！)正在滑铁卢大学学习线性代数，当时脑子里面每天都充斥着对偶空间的概念，百 …

Monads(六) 在上一篇中我们终于探索出了Monad Pattern真正的规范，也就是在C#中，一个Monad应该是一个”扩充 ̷

水blog，题目: 判定下列论证(选自 Kalish and Montague[KaMa64])是否有效: 如果超人能够并愿意防止 …

引子 每当你在baidu.com里输入”闭包”二字并且按下回车键的时候，都能看到一堆关于”什么是闭包”的解