双确定性加权自动机
摘要：对称有权有限自动机与权域之间的关系：密封的、对称的有限自动机确实存在非最小化的例子，特别是在不存在零除数的权半环中。另一方面，在整数域和正半环中，所有密封的、对称的有限自动机都是最小化的。为了权域为有限域或tropical半环，判断一个给定的有理级数能否由对称有权有限自动机实现是可判定的。然而，对于某些正半环来说，该问题是不可判定的。
作者：Peter Kostol''anyi
论文ID：2303.10631
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-05-18