关于加权双向自动机的确定性和明确性
摘要：两种自动机的转换研究：加权双向自动机转换为单向自动机。证明了该转换保持了不二义性，但不保持确定性。然而，证明了将不二义加权单向自动机转换为双向自动机会得到一个确定性的双向自动机。因此，证明了在可交换半环中，不二义加权双向自动机等价于确定性加权双向自动机。
作者：Vincent Carnino (LIGM, Universit''e Paris-Est), Sylvain Lombardy (LaBRI, Insitut Polytechnique de Bordeaux)
论文ID：1405.5602
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2014-05-23