分配森林代数的圈积
形式语言与自动机理论
2019-11-12 v1
摘要
森林上命题动态逻辑（PDL）中的可定义性是否可判定是一个开放问题。基于 Bojańczyk 等人（2012）用森林代数给出的代数刻画，Straubing（2013）描述了一种基于 k 重迭代分配律的 PDL 处理方法。证明所有满足此类 k 重迭代分配律的语言都属于 PDL，将解决 PDL 的可判定性。我们在 k=2 的情形下解决了该问题：所有被满足 2 重迭代分配律的森林代数所识别的语言都属于 PDL。此外，我们证明该类是可判定的。这给出了 PDL 的一个新的非平凡可判定子类，并证明了所提通用 PDL 判定方法的可行性。
引用
@article{arxiv.1911.03493,
title = {Wreath Products of Distributive Forest Algebras},
author = {Michael Hahn and Andreas Krebs and Howard Straubing},
journal= {arXiv preprint arXiv:1911.03493},
year = {2019}
}
备注
Appeared in: LICS '18 Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, pages 512-520