正则集

正则集和表达式。这是一个关于正则表达式和语言的结构库。它提供了级联、KLeNe星和导数在语言上的运算。定义正则表达式及其意义。验证了正则表达式的可执行等价检查器,它不需要自动机,而是直接作用于正则表达式。通过将正则表达式映射到二元关系,得到了一个关于联合、级联和(自反)传递闭包的二元关系等式(In)的自动完备证明方法。还定义了具有补码和相交的扩展正则表达式,并提供了等价性检验器。


ZBMaCT中的参考文献(14篇文章中引用)

显示结果1至14的14。
按年份排序(引文

  1. 多斯卡,基督教;斯摩尔卡,Gert:辅导员建构型理论中的规则语言表述(2018)
  2. 阿姆斯壮,阿拉斯代尔;戈麦斯,Victor B. F.;施特鲁特,格奥尔:用代数原理构建程序构造和验证工具(2016)
  3. Ausaf,法哈德;Dyckhoff,罗伊;城市,基督教:Posix Lexin与正则表达式的导数(证明珍珠)(2016)
  4. 马塞洛,Rutten,简:通过共归纳证明语言包含和等价(2016)
  5. 莫雷拉,Nelma;Pereira,戴维;Melo de Sousa,SIM O:决定COQ(2015)中的克莱恩代数术语等价性
  6. Trayelt,Dmitriy;NIPKOW,托拜厄斯:基于正则表达式导数的词MSO的验证决策程序(2015)
  7. 阿姆斯壮,阿拉斯代尔;施特鲁特,格奥尔;Weber,TJARG:在Tarski Kleene层次中编程和自动化数学(2014)
  8. 吴,Chunhan;张,Xingyuan;城市,基督教:基于正则表达式的迈希尔Nelod定理的形式化(2014)
  9. 阿姆斯壮,阿拉斯代尔;施特鲁特,格奥尔:高阶正则代数中的自动推理(2012)
  10. Brayband,托马斯;Poice,达米安:在TeXTTTCOQ(2012)中决定KLeNe代数
  11. 克劳丝,亚力山大;NIPKOW,托拜厄斯:证明珍珠:正则表达式等价与关系代数(2012)
  12. 劳伦斯,Michael R.;施特鲁特,格奥尔:ω正则代数的完备性(2012)
  13. 莫雷拉,Nelma;Pereira,戴维;Melo de Sousa,SIM AO:判定COQ(2012)中的正则表达式(In)等价性
  14. COQUAND,蒂埃里;锡莱斯,文森特:类型理论中正则表达式等价的判定过程(2011)