-
- Downloads
"alib2algo/src/regexp/convert/ToAutomatonDerivation.cpp" did not exist on "83675a9b0f4ba12b98a38add3f63926c9bc056af"
Algo: FA to RE conversion using the algorithm from the proof of the DFA->RE theorem
Showing
- alib2algo/src/automaton/convert/ToRegExpKleene.cpp 47 additions, 0 deletionsalib2algo/src/automaton/convert/ToRegExpKleene.cpp
- alib2algo/src/automaton/convert/ToRegExpKleene.h 202 additions, 0 deletionsalib2algo/src/automaton/convert/ToRegExpKleene.h
- alib2integrationtest/test-src/tests/conversionsTest.cpp 5 additions, 0 deletionsalib2integrationtest/test-src/tests/conversionsTest.cpp
- examples2/automaton/DFA4.txt 4 additions, 0 deletionsexamples2/automaton/DFA4.txt
Loading
Please register or sign in to comment