单调闭包的生成器和基底
摘要：非确定性自动机的规则是以确定的自动机之上的。 这两者之间有一种等价关系，被称为准则原子类。 本文主要关注于如何通过一个构造最小“双代数”来实现最小“余代数” 。 同时介绍了一种理论方法来探索在一个自动机范畴上生成器和基础的理论。
作者：Stefan Zetzsche, Alexandra Silva, Matteo Sammartino
论文ID：2010.10223
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-06-16