Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
|
#include <ForwardBisimulation.h>
Static Public Member Functions | |
template<class SymbolType , class StateType > | |
static ext::set< ext::pair< StateType, StateType > > | forwardBisimulation (const automaton::DFA< SymbolType, StateType > &fta) |
template<class SymbolType , class StateType > | |
static ext::set< ext::pair< StateType, StateType > > | forwardBisimulation (const automaton::NFA< SymbolType, StateType > &fta) |
template<class SymbolType , class StateType > | |
static ext::set< ext::pair< StateType, StateType > > | forwardBisimulation (const automaton::ArcFactoredDeterministicZAutomaton< SymbolType, StateType > &afdza) |
template<class SymbolType , class StateType > | |
static ext::set< ext::pair< StateType, StateType > > | forwardBisimulation (const automaton::ArcFactoredNondeterministicZAutomaton< SymbolType, StateType > &afnza) |
template<class SymbolType , class StateType > | |
static ext::set< ext::pair< StateType, StateType > > | forwardBisimulation (const automaton::DFTA< SymbolType, StateType > &fta) |
template<class SymbolType , class StateType > | |
static ext::set< ext::pair< StateType, StateType > > | forwardBisimulation (const automaton::NFTA< SymbolType, StateType > &fta) |
template<class SymbolType , class StateType > | |
static ext::set< ext::pair< StateType, StateType > > | forwardBisimulation (const automaton::UnorderedDFTA< SymbolType, StateType > &fta) |
template<class SymbolType , class StateType > | |
static ext::set< ext::pair< StateType, StateType > > | forwardBisimulation (const automaton::UnorderedNFTA< SymbolType, StateType > &fta) |
Find all forwardBisimulation pairs of states of DFA. Implements table-filling algorithm, Hopcroft 2nd edition, 4.4.1
|
static |
|
static |
|
static |
Computes a relation on states of the DFA satisfying the forward bisimulation definition.
fta | the examined automaton |
fta
that are the forward bisimulation.
|
static |
Computes a relation on states of the DFTA satisfying the forward bisimulation definition.
fta | the examined automaton |
fta
that are the forward bisimulation.
|
static |
Computes a relation on states of the NFA satisfying the forward bisimulation definition.
fta | the examined automaton |
fta
that are the forward bisimulation.
|
static |
Computes a relation on states of the NFTA satisfying the forward bisimulation definition.
fta | the examined automaton |
fta
that are the forward bisimulation.
|
static |
Computes a relation on states of the DFTA satisfying the forward bisimulation definition.
fta | the examined automaton |
fta
that are the forward bisimulation.
|
static |
Computes a relation on states of the NFTA satisfying the forward bisimulation definition.
fta | the examined automaton |
fta
that are the forward bisimulation.