基于同余的有限树自动机视角
摘要：在树自动机的确定化和最小化上，我们通过对树的同余关系提供了新的见解。从这个角度出发，我们研究了一种Brzozowski风格的树自动机最小化算法。首先，我们证明了该方法的正确性，依赖于以下事实：当基于自动机和基于语言的同余关系一致时，确定化自动机会得到最小的自动机。这些基于自动机的同余关系，在单词自动机的情况下，使用了前置操作和后置操作进行定义。现在我们将这些操作扩展到树自动机，这是一项具有挑战性的任务，因为确定性自顶向下（或等价的共确定性自底向上）自动机的表达能力很有限。我们进一步利用我们的框架，为单词自动机的Brzozowski原始结果提供了一个扩展。
作者：Pierre Ganty, Elena Guti''errez, Pedro Valero
论文ID：2104.11453
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-06-22