Minimisation of multiplicity tree automata
We consider the problem of minimising the number of states in a multiplicity tree automaton over the field of rational numbers. We give a minimisation algorithm that runs in polynomial time assuming unit-cost arithmetic. We also show that a polynomial bound in the standard Turing model would require...
| Main Authors: | , , |
|---|---|
| Format: | Journal article |
| Published: |
International Federation of Computational Logic
2017
|
| _version_ | 1797093358106050560 |
|---|---|
| author | Worrell, J Kiefer, S Marusic, I |
| author_facet | Worrell, J Kiefer, S Marusic, I |
| author_sort | Worrell, J |
| collection | OXFORD |
| description | We consider the problem of minimising the number of states in a multiplicity tree automaton over the field of rational numbers. We give a minimisation algorithm that runs in polynomial time assuming unit-cost arithmetic. We also show that a polynomial bound in the standard Turing model would require a breakthrough in the complexity of polynomial identity testing by proving that the latter problem is logspace equivalent to the decision version of minimisation. The developed techniques also improve the state of the art in multiplicity word automata: we give an NC algorithm for minimising multiplicity word automata. Finally, we consider the minimal consistency problem: does there exist an automaton with a given number of states that is consistent with a given finite sample of weight-labelled words or trees? We show that, over both words and trees, this decision problem is interreducible with the problem of deciding the truth of existential first-order sentences over the field of rationals—whose decidability is a longstanding open problem. |
| first_indexed | 2024-03-07T03:59:12Z |
| format | Journal article |
| id | oxford-uuid:c3f1fd53-73c8-4677-8fce-190434be58a7 |
| institution | University of Oxford |
| last_indexed | 2024-03-07T03:59:12Z |
| publishDate | 2017 |
| publisher | International Federation of Computational Logic |
| record_format | dspace |
| spelling | oxford-uuid:c3f1fd53-73c8-4677-8fce-190434be58a72022-03-27T06:20:03ZMinimisation of multiplicity tree automataJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:c3f1fd53-73c8-4677-8fce-190434be58a7Symplectic Elements at OxfordInternational Federation of Computational Logic2017Worrell, JKiefer, SMarusic, IWe consider the problem of minimising the number of states in a multiplicity tree automaton over the field of rational numbers. We give a minimisation algorithm that runs in polynomial time assuming unit-cost arithmetic. We also show that a polynomial bound in the standard Turing model would require a breakthrough in the complexity of polynomial identity testing by proving that the latter problem is logspace equivalent to the decision version of minimisation. The developed techniques also improve the state of the art in multiplicity word automata: we give an NC algorithm for minimising multiplicity word automata. Finally, we consider the minimal consistency problem: does there exist an automaton with a given number of states that is consistent with a given finite sample of weight-labelled words or trees? We show that, over both words and trees, this decision problem is interreducible with the problem of deciding the truth of existential first-order sentences over the field of rationals—whose decidability is a longstanding open problem. |
| spellingShingle | Worrell, J Kiefer, S Marusic, I Minimisation of multiplicity tree automata |
| title | Minimisation of multiplicity tree automata |
| title_full | Minimisation of multiplicity tree automata |
| title_fullStr | Minimisation of multiplicity tree automata |
| title_full_unstemmed | Minimisation of multiplicity tree automata |
| title_short | Minimisation of multiplicity tree automata |
| title_sort | minimisation of multiplicity tree automata |
| work_keys_str_mv | AT worrellj minimisationofmultiplicitytreeautomata AT kiefers minimisationofmultiplicitytreeautomata AT marusici minimisationofmultiplicitytreeautomata |