Ω-自动机与威克代数商的二元偶射
形式语言与自动机理论
2024-11-25 v2
摘要
Ω-自动机与威克代数是用于通过其最终周期词来特征化 ω-正则语言的形式化方法。Ω-自动机读取最终周期词的有限表示，称为辕 lasso，它们是 lasso 自动机的一个子类。我们引入 lasso 半范畴作为威克代数的一般化，方式类似于 lasso 自动机如何概括 Ω-自动机，并且我们展示有限的 lasso 半范畴特征化正则 lasso 语言。随后我们展示了 lasso 自动机与自由 lasso 半范畴的商（带有识别集）之间的二元偶射，并且作为我们的主要结果我们展示了这一二元偶射限制为 Ω-自动机与自由威克代数的商（带有识别集）之间的二元偶射。
引用
@article{arxiv.2407.14115,
title = {Dual Adjunction Between $\Omega$-Automata and Wilke Algebra Quotients},
author = {Anton Chernev and Helle Hvid Hansen and Clemens Kupke},
journal= {arXiv preprint arXiv:2407.14115},
year = {2024}
}