标签: theory

"现代"正则表达的认识力

真正的现代正则表达式真正识别哪种语言?

每当存在具有反向引用的无限长度捕获组(例如(.*)_\1)时,正则表达式现在匹配非常规语言.但是,就其本身而言,这还不足以匹配诸如S ::= '(' S ')' | ?匹配对的parens的无上下文语言.

递归正则表达式(对我来说是新的,但我确信存在于Perl和PCRE中)似乎至少能识别出大多数CFL.

有没有人在这方面做过或读过任何研究?这些"现代"正则表达的限制是什么?对于LL或LR语法,他们是否严格认可或严格低于CFG?或者是否存在可以被正则表达式识别而不是CFG 而且相反的语言?

非常感谢与相关论文的链接.

regex theory perl language-theory context-free-grammar

82
推荐指数
1
解决办法
6969
查看次数

Layman的条款中的抽水引理是什么?

我看到了这个问题,并对抽取引理是什么感到好奇(维基百科没有多大帮助).

我理解这基本上是一个理论证明,必须是真实的,以便语言在某个类中,但除此之外,我并没有真正得到它.

有人试图以非数学家/ comp sci博士学位理解的方式在相当精细的层面上解释它吗?

theory proof pumping-lemma

80
推荐指数
4
解决办法
3万
查看次数

C#中的"const正确性"

const-correctness的要点是能够提供用户无法更改或删除的实例的视图.编译器支持这一点,指出何时从const函数中断开constness,或者尝试使用const对象的非const函数.因此,如果不复制const方法,我可以在C#中使用具有相同目的的方法吗?

我知道不变性,但这并不能真正地将容器对象转移到一个例子.

c# theory const-correctness

78
推荐指数
3
解决办法
1万
查看次数

如何检查有向图是否是非循环的?

如何检查有向图是否是非循环的?算法如何调用?我很感激参考.

theory algorithm directed-graph directed-acyclic-graphs

78
推荐指数
5
解决办法
7万
查看次数

如何编写分形图?

我对编程分形没有任何经验.当然,我已经看过着名的Mandelbrot图像等.

你能为我提供简单的分形算法吗?

编程语言并不重要,但我最熟悉的是actionscript,C#,Java.

我知道,如果我谷歌分形,我得到了很多(复杂的)信息,但我想从一个简单的算法开始并使用它.

也欢迎提出改进基本算法的建议,比如如何用那些可爱的颜色制作它们.

theory fractals

77
推荐指数
9
解决办法
10万
查看次数

什么是"规范路径"?

这是一个理论问题.我在互联网上搜索没有令人满意的运气,我只想了解这个术语是什么.我已经看过Java,JSON等的例子但是我在谷歌或者StackOverflow中找不到一个简单的解释,没有代码需要= P

因此,绝对路径是一种到达某个文件或位置的方式,描述它的完整路径,完整路径,以及它依赖于操作系统(例如,Windows和Linux的绝对路径是不同的)相对路径它是一个路由到从当前位置描述的文件或位置..(两个点)表示目录树中的高级别.我已经清楚这几年了.

搜索时我甚至看到有规范化的文件!我所知道的就是"CANONICAL"意味着"根据规则"之类的东西.

有人可以请理解关于规范的理论吗?=)感谢!!

PD(所以它毕竟不仅仅是一个Ubuntu随机名称)XD

PD2可悲的是我不能给每个人答案,我把它给了帮助我最了解这个概念的那个,但是非常感谢每个人=)

theory path relative-path absolute-path

69
推荐指数
4
解决办法
5万
查看次数

C99预处理器图灵是否完整?

在发现Boost预处理器的功能后,我发现自己在想:C99预处理器Turing是否完整?

如果没有,缺少什么不符合资格?

theory turing-complete c-preprocessor boost-preprocessor

67
推荐指数
4
解决办法
1万
查看次数

耦合和凝聚力

我试图将耦合和内聚的概念归结为简洁的定义.有人可以给我一个简短易懂的解释(比这里这里维基百科的定义更短)?他们如何互动?

谢谢.

有人有一个好的,简短的例子吗?

architecture theory oop ooad

66
推荐指数
4
解决办法
4万
查看次数

你什么时候遇到现场停止问题?

When have you ever personally come upon the halting problem in the field? This can be when a co-worker/boss suggested a solution which would violate the fundamental limits of computation, or when you realized yourself that a problem you were trying to solve was, in fact, impossible to solve.

我最近想出来的时候是研究类型检查器.我们班级意识到编写一个完美的类型检查器是不可能的(一个可以接受所有运行没有类型错误的程序,并拒绝所有运行类型错误的程序),因为这实际上可以解决暂停问题.另一个是当我们在同一个类中意识到在类型检查阶段不可能确定除法是否会出现零,因为检查一个数字在运行时是否为零,也是暂停问题的一个版本.

language-agnostic theory field turing-machines halting-problem

65
推荐指数
9
解决办法
5206
查看次数

用户级和内核支持的线程之间的区别?

我一直在查看基于这个主题的一些注释,虽然我对一般的线程有所了解,但我并不确定用户级和内核级线程之间差异.

我知道进程基本上由多个线程或单个线程组成,但是这两个先前提到的类型的线程是什么?

据我所知,内核支持的线程可以访问内核以进行系统调用和用户级线程无法使用的其他用途.

那么,用户级线程是否只是程序员创建的线程,然后利用内核支持的线程执行由于其状态而无法正常执行的操作?

theory multithreading operating-system process

61
推荐指数
2
解决办法
7万
查看次数