与左右商相关联的格的对偶性
形式语言与自动机理论
2023-09-07 v2
摘要
我们将格与正则语言的左商和右商的并集和交集的集合相关联。对于并集和交集，我们证明了使用左商和右商所构造的格彼此对偶。我们还给出了这些格具有最大可能复杂度的充分必要条件。
引用
@article{arxiv.2306.02491,
title = {Duality of Lattices Associated to Left and Right Quotients},
author = {Jason Bell and Daniel Smertnig and Hellis Tamm},
journal= {arXiv preprint arXiv:2306.02491},
year = {2023}
}
备注
In Proceedings AFL 2023, arXiv:2309.01126