Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Succinct Determinisation of Counting Automata via Sphere Construction
  (Technical Report)   We propose an efficient algorithm for determinising counting automata (CAs),
i.e., finite automata extended with bounded counters. The algorithm avoids
unfolding counters into control states, unlike the na\"ive approach, and thus
produces much smaller deterministic automata. We also develop a simplified and
faster version of the general algorithm for the sub-class of so-called monadic
CAs (MCAs), i.e., CAs with counting loops on character classes, which are
common in practice. Our main motivation is (besides applications in
verification and decision procedures of logics) the application of
deterministic (M)CAs in pattern matching regular expressions with counting,
which are very common in e.g. network traffic processing and log analysis. We
have evaluated our algorithm against practical benchmarks from these
application domains and concluded that compared to the na\"ive approach, our
algorithm is much less prone to explode, produces automata that can be several
orders of magnitude smaller, and is overall faster.

21
The categories of this paper are: adap-org
33
The categories of this paper are: plasm-ph
0
The categories of this paper are: hep-ph
13
The categories of this paper are: quant-ph
14
The categories of this paper are: math-ph
23
The categories of this paper are: solv-int
7
The categories of this paper are: hep-th
10
The categories of this paper are: q-bio
22
The categories of this paper are: chao-dyn
35
The categories of this paper are: mtrl-th
17
The categories of this paper are: q-fin
2
The categories of this paper are: math
25
The categories of this paper are: patt-sol
30
The categories of this paper are: q-alg
36
The categories of this paper are: cmp-lg
4
The categories of this paper are: cond-mat