# DFA minimization

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2015

2015

- Theor. Comput. Sci.
- 2015

In this paper, we show the relationship between the two most widely used approaches for the minimization of deterministic finiteâ€¦Â (More)

Is this relevant?

Highly Cited

2014

Highly Cited

2014

- POPL
- 2014

Symbolic Automata extend classical automata by using symbolic alphabets instead of finite ones. Most of the classical automataâ€¦Â (More)

Is this relevant?

2012

2012

- Inf. Process. Lett.
- 2012

Article history: Received 27 May 2011 Received in revised form 2 December 2011 Accepted 5 December 2011 Available online 7â€¦Â (More)

Is this relevant?

2009

2009

- TACAS
- 2009

Algorithms for learning a minimal separating DFA of two disjoint regular languages have been proposed and adapted for differentâ€¦Â (More)

Is this relevant?

2008

2008

- Inf. Process. Lett.
- 2008

We establish linear-time reductions between the minimization of a deterministic finite automaton (DFA) and the conjunction of 3â€¦Â (More)

Is this relevant?

2003

2003

- Natural Language Engineering
- 2003

In this paper, we present a new Deterministic Finite Automata (DFA) minimization algorithm. The algorithm is incremental â€“ it mayâ€¦Â (More)

Is this relevant?

2002

2002

- HiPC
- 2002

In this paper, we have considered the state minimization problem for Deterministic Finite Automata (DFA). An efficient parallelâ€¦Â (More)

Is this relevant?

Highly Cited

2002

Highly Cited

2002

- WSNA
- 2002

In order to monitor a region for traffic traversal, sensors can be deployed to perform collaborative target detection. Such aâ€¦Â (More)

Is this relevant?

Highly Cited

1989

Highly Cited

1989

- J. ACM
- 1989

The minimum consistent DFA problem is that of finding a DFA with as few states as possible that is consistent with a given sampleâ€¦Â (More)

Is this relevant?

Highly Cited

1965

Highly Cited

1965

- Information and Control
- 1965

a n d A ~ . A 2 ( = {ff'C X * : f ~ A 1 ; f ' E A2}) belong to Q. With different notations, Q has been studied in Trahtenbrotâ€¦Â (More)

Is this relevant?