左商和右商相关格的对偶性

摘要:通过对正则语言的左和右商的并与交的集合处理,我们将格与它们关联起来。对于并与交,我们证明使用左商和右商产生的格互为对偶。我们还给出了这些格具有最大可能复杂性的必要和充分条件。

作者:Jason Bell, Daniel Smertnig, and Hellis Tamm

论文ID:2306.02491

分类:Formal Languages and Automata Theory

分类简称:cs.FL

提交时间:2023-06-06

PDF 下载: 英文版 中文版pdf翻译中