Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages

properties → alib2data Relation

File in alib2algo/src/automaton/propertiesIncludes file in alib2data
AllEpsilonClosure.hsrc / automaton / FSM / CompactNFA.h
AllEpsilonClosure.hsrc / automaton / FSM / DFA.h
AllEpsilonClosure.hsrc / automaton / FSM / EpsilonNFA.h
AllEpsilonClosure.hsrc / automaton / TA / EpsilonNFTA.h
AllEpsilonClosure.hsrc / automaton / FSM / ExtendedNFA.h
AllEpsilonClosure.hsrc / automaton / FSM / MultiInitialStateNFA.h
AllEpsilonClosure.hsrc / automaton / FSM / NFA.h
AllEpsilonClosure.hsrc / automaton / TA / NondeterministicZAutomaton.h
BackwardBisimulation.hsrc / automaton / TA / ArcFactoredDeterministicZAutomaton.h
BackwardBisimulation.hsrc / automaton / TA / ArcFactoredNondeterministicZAutomaton.h
BackwardBisimulation.hsrc / automaton / FSM / DFA.h
BackwardBisimulation.hsrc / automaton / TA / DFTA.h
BackwardBisimulation.hsrc / automaton / FSM / NFA.h
BackwardBisimulation.hsrc / automaton / TA / NFTA.h
BackwardBisimulation.hsrc / automaton / TA / UnorderedDFTA.h
BackwardBisimulation.hsrc / automaton / TA / UnorderedNFTA.h
DistinguishableStates.hsrc / automaton / FSM / DFA.h
DistinguishableStates.hsrc / automaton / TA / DFTA.h
DistinguishableStates.hsrc / automaton / TA / UnorderedDFTA.h
EpsilonClosure.hsrc / automaton / FSM / CompactNFA.h
EpsilonClosure.hsrc / automaton / FSM / DFA.h
EpsilonClosure.hsrc / automaton / FSM / EpsilonNFA.h
EpsilonClosure.hsrc / automaton / TA / EpsilonNFTA.h
EpsilonClosure.hsrc / automaton / FSM / ExtendedNFA.h
EpsilonClosure.hsrc / automaton / FSM / MultiInitialStateNFA.h
EpsilonClosure.hsrc / automaton / FSM / NFA.h
ForwardBisimulation.hsrc / automaton / TA / ArcFactoredDeterministicZAutomaton.h
ForwardBisimulation.hsrc / automaton / TA / ArcFactoredNondeterministicZAutomaton.h
ForwardBisimulation.hsrc / automaton / FSM / DFA.h
ForwardBisimulation.hsrc / automaton / TA / DFTA.h
ForwardBisimulation.hsrc / automaton / FSM / NFA.h
ForwardBisimulation.hsrc / automaton / TA / NFTA.h
ForwardBisimulation.hsrc / automaton / TA / UnorderedDFTA.h
ForwardBisimulation.hsrc / automaton / TA / UnorderedNFTA.h
InfiniteLanguage.hsrc / automaton / FSM / DFA.h
InfiniteLanguage.hsrc / automaton / FSM / NFA.h
ReachableStates.cppsrc / automaton / TA / ArcFactoredDeterministicZAutomaton.h
ReachableStates.hsrc / automaton / TA / ArcFactoredDeterministicZAutomaton.h
ReachableStates.hsrc / automaton / TA / ArcFactoredNondeterministicZAutomaton.h
ReachableStates.hsrc / automaton / FSM / CompactNFA.h
ReachableStates.hsrc / automaton / FSM / DFA.h
ReachableStates.hsrc / automaton / TA / DFTA.h
ReachableStates.hsrc / automaton / FSM / EpsilonNFA.h
ReachableStates.hsrc / automaton / FSM / ExtendedNFA.h
ReachableStates.hsrc / automaton / FSM / NFA.h
ReachableStates.hsrc / automaton / TA / NFTA.h
SynchronizingWordExistence.hsrc / automaton / FSM / DFA.h
UndistinguishableStates.hsrc / automaton / FSM / DFA.h
UndistinguishableStates.hsrc / automaton / TA / DFTA.h
UsefulStates.hsrc / automaton / TA / ArcFactoredDeterministicZAutomaton.h
UsefulStates.hsrc / automaton / TA / ArcFactoredNondeterministicZAutomaton.h
UsefulStates.hsrc / automaton / FSM / CompactNFA.h
UsefulStates.hsrc / automaton / FSM / DFA.h
UsefulStates.hsrc / automaton / TA / DFTA.h
UsefulStates.hsrc / automaton / FSM / EpsilonNFA.h
UsefulStates.hsrc / automaton / FSM / ExtendedNFA.h
UsefulStates.hsrc / automaton / FSM / NFA.h
UsefulStates.hsrc / automaton / TA / NFTA.h