Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Efficient Completion of Weighted Automata   We consider directed graphs with edge labels from a semiring. We present an
algorithm that allows efficient execution of queries for existence and weights
of paths, and allows updates of the graph: adding nodes and edges, and changing
weights of existing edges.
  We apply this method in the construction of matchbound certificates for
automatically proving termination of string rewriting. We re-implement the
decomposition/completion algorithm of Endrullis et al. (2006) in our framework,
and achieve comparable performance.

19
The categories of this paper are: eess
20
The categories of this paper are: acc-phys
8
The categories of this paper are: hep-ex
11
The categories of this paper are: hep-lat
15
The categories of this paper are: nucl-ex
5
The categories of this paper are: gr-qc
6
The categories of this paper are: astro-ph
25
The categories of this paper are: patt-sol
10
The categories of this paper are: q-bio
4
The categories of this paper are: cond-mat
9
The categories of this paper are: nlin
27
The categories of this paper are: comp-gas
12
The categories of this paper are: nucl-th
35
The categories of this paper are: mtrl-th
13
The categories of this paper are: quant-ph
24
The categories of this paper are: dg-ga