正则表达式计算理论正则语言上下文无关语言泵引理

用正则表达式验证括号的匹配

大爷告诉我可以这么做,比如 Valid Braces,但这真的表明这是正则语言吗?难道不是用了扩展的正则表达式?

$\{a^nb^n | n \ge 0\}$ 这貌似是上下文无关但非正则的经典例子吧,用泵引理可以很容易证明。这不就是 valid braces 的一个子语言嘛?

Colliot12/19/2017, 8:25:25 AM


Preview:

Cancel

Elsewhere

Colliot replied to SICP 真的有意义吗?

参考 《计算机程序的构造和解释(SICP)》讨论的核心问题是什么?

Colliot replied to 你们对拖动生成前端页面有啥看法?

卧槽,貌似已经有人做出来了——React Studio

sarasa replied to 使用issue.sh管理你的开发进度

这是给较大型多人协作项目用的。

Colliot replied to 净土的返回按钮是什么?

按道理发了一个新帖后退时,帖子列表是更新了的。不过右边栏没有更新。 我可能需要让这部分缓存失效。

ice1000 replied to 使用issue.sh管理你的开发进度

我感觉挺好的,但是其实 GitHub 自带的的 issue 功能其实已经足够我使用了。。。

ice1000 replied to 净土的返回按钮是什么?

但是按返回键,回到的是之前的网页,而不是刷新后的,虎哥你懂吗 样我还需要刷新一次

ice1000 replied to 我是如何解决 Angular 上用 MathJax 的一些问题的

或许你需要在渲染md的时候把MathJax块单独提取出来。渲染完了再放回去。

ice1000 replied to 我是如何解决 Angular 上用 MathJax 的一些问题的

为什么Jekyll就不存在这些问题?虎哥你懂吗

Colliot replied to 使用issue.sh管理你的开发进度

有一定的道理。 话说这个域名值钱吗?