Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: IDS: An Incremental Learning Algorithm for Finite Automata   We present a new algorithm IDS for incremental learning of deterministic
finite automata (DFA). This algorithm is based on the concept of distinguishing
sequences introduced in (Angluin81). We give a rigorous proof that two versions
of this learning algorithm correctly learn in the limit. Finally we present an
empirical performance analysis that compares these two algorithms, focussing on
learning times and different types of learning queries. We conclude that IDS is
an efficient algorithm for software engineering applications of automata
learning, such as testing and model inference.

2
The categories of this paper are: math
5
The categories of this paper are: gr-qc
11
The categories of this paper are: hep-lat
36
The categories of this paper are: cmp-lg
18
The categories of this paper are: econ
8
The categories of this paper are: hep-ex
23
The categories of this paper are: solv-int
24
The categories of this paper are: dg-ga
0
The categories of this paper are: hep-ph
13
The categories of this paper are: quant-ph
27
The categories of this paper are: comp-gas
25
The categories of this paper are: patt-sol
14
The categories of this paper are: math-ph
7
The categories of this paper are: hep-th
16
The categories of this paper are: stat
26
The categories of this paper are: bayes-an