-
- Downloads
data: ExtendedNFA: It is sufficient for transition alphabet to be only subset...
data: ExtendedNFA: It is sufficient for transition alphabet to be only subset of automaton's alphabet
Showing
- alib2algo/src/conversions/fa2re/formal/StateEliminationFormal.cpp 6 additions, 29 deletions...o/src/conversions/fa2re/formal/StateEliminationFormal.cpp
- alib2algo/src/conversions/fa2re/unbounded/StateEliminationUnbounded.cpp 6 additions, 29 deletions...conversions/fa2re/unbounded/StateEliminationUnbounded.cpp
- alib2data/src/automaton/FSM/ExtendedNFA.cpp 2 additions, 3 deletionsalib2data/src/automaton/FSM/ExtendedNFA.cpp
- alib2data/test-src/automaton/AutomatonTest.cpp 38 additions, 0 deletionsalib2data/test-src/automaton/AutomatonTest.cpp
- alib2data/test-src/automaton/AutomatonTest.h 2 additions, 0 deletionsalib2data/test-src/automaton/AutomatonTest.h
Loading
Please register or sign in to comment