加权双向自动机的确定性与无歧义性
形式语言与自动机理论
2014-05-23 v1
摘要
本文首先研究加权双向自动机到单向自动机的转换。我们证明该转换保持无歧义性，但不保持确定性。然而，我们证明了将无歧义加权单向自动机转换为双向自动机可得到确定性的双向自动机。由此，我们证明了在交换半环上，无歧义加权双向自动机等价于确定性加权双向自动机。
引用
@article{arxiv.1405.5602,
title = {On Determinism and Unambiguity of Weighted Two-way Automata},
author = {Vincent Carnino and Sylvain Lombardy},
journal= {arXiv preprint arXiv:1405.5602},
year = {2014}
}
备注
In Proceedings AFL 2014, arXiv:1405.5272