Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: On minimising automata with errors   The problem of k-minimisation for a DFA M is the computation of a smallest
DFA N (where the size |M| of a DFA M is the size of the domain of the
transition function) such that their recognized languages differ only on words
of length less than k. The previously best algorithm, which runs in time O(|M|
log^2 n) where n is the number of states, is extended to DFAs with partial
transition functions. Moreover, a faster O(|M| log n) algorithm for DFAs that
recognise finite languages is presented. In comparison to the previous
algorithm for total DFAs, the new algorithm is much simpler and allows the
calculation of a k-minimal DFA for each k in parallel. Secondly, it is
demonstrated that calculating the least number of introduced errors is hard:
Given a DFA M and numbers k and m, it is NP-hard to decide whether there exists
a k-minimal DFA N differing from DFA M on at most m words. A similar result
holds for hyper-minimisation of DFAs in general: Given a DFA M and numbers s
and m, it is NP-hard to decide whether there exists a DFA N with at most s
states such that DFA M and N differ on at msot m words.

12
The categories of this paper are: nucl-th
0
The categories of this paper are: hep-ph
14
The categories of this paper are: math-ph
26
The categories of this paper are: bayes-an
27
The categories of this paper are: comp-gas
4
The categories of this paper are: cond-mat
8
The categories of this paper are: hep-ex
2
The categories of this paper are: math
28
The categories of this paper are: alg-geom
35
The categories of this paper are: mtrl-th
20
The categories of this paper are: acc-phys
15
The categories of this paper are: nucl-ex
9
The categories of this paper are: nlin
11
The categories of this paper are: hep-lat
24
The categories of this paper are: dg-ga
18
The categories of this paper are: econ