A split-based incremental deterministic automata minimization algorithm
From MaRDI portal
Publication:905684
DOI10.1007/S00224-014-9588-YzbMATH Open1335.68119OpenAlexW2078189513WikidataQ58209329 ScholiaQ58209329MaRDI QIDQ905684FDOQ905684
Authors: Pedro García, Manuel Vázquez de Parga, Jairo A. Velasco, Damián López 
Publication date: 28 January 2016
Published in: Theory of Computing Systems (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/10251/51687
Recommendations
- Efficient deterministic finite automata split-minimization derived from Brzozowski's algorithm
- Implementation and Application of Automata
- An Implementation of Deterministic Tree Automata Minimization
- Incremental DFA minimisation
- Incremental DFA minimisation
- scientific article; zbMATH DE number 2050934
- Minimisation of acyclic deterministic automata in linear time
- SAT-based minimization of deterministic \(\omega \)-automata
- An \(n\log n\) algorithm for hyper-minimizing a (minimized) deterministic automaton
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Re-describing an algorithm by Hopcroft
- Describing an algorithm by Hopcroft
- Applications of symbolic finite automata
- An O(n \text{log} n) implementation of the standard method for minimizing n-state finite automata
- Incremental DFA minimisation
- Average complexity of Moore's and Hopcroft's algorithms
- A First Investigation of Sturmian Trees
Cited In (7)
- Incremental NFA minimization
- Efficient deterministic finite automata split-minimization derived from Brzozowski's algorithm
- Incremental DFA minimisation
- From tree automata to string automata minimization
- DFA minimization: double reversal versus split minimization algorithms
- Incremental DFA minimisation
- How to Split Recursive Automata
This page was built for publication: A split-based incremental deterministic automata minimization algorithm
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q905684)
