On Determinism and Unambiguity of Weighted Two-way Automata
Abstract
In this paper, we first study the conversion of weighted two-way automata to one-way automata. We show that this conversion preserves the unambiguity but does not preserve the determinism. Yet, we prove that the conversion of an unambiguous weighted one-way automaton into a two-way automaton leads to a deterministic two-way automaton. As a consequence, we prove that unambiguous weighted two-way automata are equivalent to deterministic weighted two-way automata in commutative semirings.
- Publication:
-
arXiv e-prints
- Pub Date:
- May 2014
- DOI:
- 10.48550/arXiv.1405.5602
- arXiv:
- arXiv:1405.5602
- Bibcode:
- 2014arXiv1405.5602C
- Keywords:
-
- Computer Science - Formal Languages and Automata Theory;
- F.1.1;
- F.4.3
- E-Print:
- In Proceedings AFL 2014, arXiv:1405.5272