Pages that link to "Item:Q1959648"
From MaRDI portal
The following pages link to An \(n\log n\) algorithm for hyper-minimizing a (minimized) deterministic automaton (Q1959648):
Displaying 14 items.
- The tractability frontier for NFA minimization (Q414869) (← links)
- An O(n \text{log} n) implementation of the standard method for minimizing n-state finite automata (Q672727) (← links)
- A split-based incremental deterministic automata minimization algorithm (Q905684) (← links)
- Hyper-optimization for deterministic tree automata (Q2344747) (← links)
- Beyond hyper-minimisation -- minimising DBAs and DPAs is NP-complete (Q2908870) (← links)
- Better Hyper-minimization (Q3073639) (← links)
- Closure properties of hyper-minimized automata (Q3117549) (← links)
- OPTIMAL HYPER-MINIMIZATION (Q3224954) (← links)
- Hyper-minimizing minimized deterministic finite state automata (Q3549289) (← links)
- UNWEIGHTED AND WEIGHTED HYPER-MINIMIZATION (Q4923276) (← links)
- More on Minimizing Finite Automata with Errors — Nondeterministic Machines (Q5268394) (← links)
- HYPER-MINIMIZATION FOR DETERMINISTIC TREE AUTOMATA (Q5401558) (← links)
- FROM EQUIVALENCE TO ALMOST-EQUIVALENCE, AND BEYOND: MINIMIZING AUTOMATA WITH ERRORS (Q5495421) (← links)
- Minimal and hyper-minimal biautomata (Q5890813) (← links)