Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
|
#include <Minimize.h>
Static Public Member Functions | |
template<class SymbolType , class StateType > | |
static automaton::DFA< SymbolType, StateType > | minimize (const automaton::DFA< SymbolType, StateType > &dfa) |
template<class SymbolType , class StateType > | |
static automaton::DFA< SymbolType, StateType > | minimize (const automaton::DFA< SymbolType, StateType > &dfa, size_t &steps) |
template<class SymbolType , class StateType > | |
static automaton::DFTA< SymbolType, StateType > | minimize (const automaton::DFTA< SymbolType, StateType > &dfta) |
template<class SymbolType , class StateType > | |
static automaton::DFTA< SymbolType, StateType > | minimize (const automaton::DFTA< SymbolType, StateType > &dfta, size_t &steps) |
Minimization of automata.
For finite automata, we implement Hopcroft's subset minimization. For finite tree automata, we implement ???.
|
inlinestatic |
Minimizes deterministic finite autmaton.
SymbolType | Type for input symbols. |
StateType | Type for states. |
dfa | deterministic finite automaton to minimize. |
dfa
|
static |
Minimizes deterministic finite autmaton, also reports number of iterations it took.
SymbolType | Type for input symbols. |
StateType | Type for states. |
dfa | deterministic finite automaton to minimize. | |
[out] | steps | Number of steps in the subset minimization performed until finished |
dfa
|
inlinestatic |
Minimizes deterministic finite tree autmaton.
SymbolType | Type for input symbols. |
RankType | Type for rank (arity) in ranked alphabet. |
StateType | Type for states. |
dfta | deterministic finite tree automaton to minimize. |
dfa
|
static |
Minimizes deterministic finite tree autmaton, also reports number of iterations it took.
SymbolType | Type for input symbols. |
RankType | Type for rank (arity) in ranked alphabet. |
StateType | Type for states. |
dfta | deterministic finite tree automaton to minimize. | |
[out] | steps | Number of steps in the subset minimization performed until finished |
dfa