Brzozowski的导数方法是一种非常漂亮的技术,可以以很好的代数方式从正则表达式构建确定性自动机。我已经对该技术进行了一些可爱的概括,以处理更大的语法类别,但是这些算法非常简单明了,因此很可能以前就已经发现了它们。但是,谷歌搜索对该技术的后代的引用似乎并不多。有人知道吗?
2
我对您正在考虑的语法类别感到很好奇。关于后代,Antimirov的技术非常好,它可以产生不确定的自动机,它非常好:正则表达式和有限自动机构造的偏导数,TCS 155(2),1996,(dx.doi.org/10.1016/0304-3975 ( 95 )00182-4)。
—
西尔万
您是说对更复杂的语言的概括,例如常规<上下文无关<上下文敏感<...?
—
s8soj3o289
我一直在寻找CFG子系统,这些子系统大多位于VPL附近。
—
Neel Krishnaswami
...但那时导数集不是有限的。的确,如果您想要像Brzozowski的方法那样具有确定性的东西,则可能只限于DCFL(因此我认为对于VPL来说是有意义的)。
—
西尔万