Theory of Programming Languages 程序设计语言理论 第2章 断言与规则 假言断言(Hypothetical judgements) [PFPL, 2] ¾有一个或多个引起结果(consequent)的假设 (hypotheses, assumptions), ¾可推导的(derivability)断言 −对于给定的一组定义直言断言的规则集，上述可推导的断言 中，J和K是直言断言，并且在规则集上扩展增加J为新公理可 以推导出K
GitHub - cdoco learn-regex-zh: 翻译: 学习正则表达式的简单方法 正则表达式只是我们用于在文本中检索字母和数字的模式。例如正则表达式cat，表示 c 后面跟着一个字母a，再后 面跟着一个字母t。 "cat" => The cat sat on the mat 正则表达式123 会匹配字符串 成正则匹配。正则表达式通常区分大小写，因此正则表达式Cat 与字符串