Algebraic Method: decrease memory consumption by reducing regexp trees on the fly (side effect: speedup)

 - Rewrite elimination
 - Eliminate from deepest states towards initial state (BFS is run)
 - fix leaks

Jan Trávníček authored 11 years ago and Tomáš Pecka committed 11 years ago

This reverts commit 832a57e7.

Conflicts:
	aconversions/src/re2fa/Brzozowski.cpp
	libaregexptree/src/RegExpOptimize.cpp

Conflicts:
	aconversions/src/re2fa/Brzozowski.cpp
	aderivation/src/aderivation.cpp
	aintegral/src/aintegral.cpp
	libaderivation/src/RegExpDerivation.cpp
	libaderivation/src/RegExpDerivation.h
	libaderivation/src/RegExpIntegral.cpp
	libaderivation/src/RegExpIntegral.h
	libaregexptree/src/RegExpOptimize.cpp

This reverts commit 832a57e7.

Conflicts:
	aconversions/src/re2fa/Brzozowski.cpp
	libaregexptree/src/RegExpOptimize.cpp

Conflicts:
	aconversions/src/re2fa/Brzozowski.cpp
	libaderivation/src/RegExpDerivation.cpp
	libaregexptree/src/RegExpAlphabet.cpp

Conflicts:
	aconversions/src/re2fa/Brzozowski.cpp
	libaregexptree/src/RegExpOptimize.cpp

Conflicts:
	aconversions/src/re2fa/Brzozowski.cpp
	aderivation/src/aderivation.cpp
	aintegral/src/aintegral.cpp
	libaderivation/src/RegExpDerivation.cpp
	libaderivation/src/RegExpDerivation.h
	libaderivation/src/RegExpIntegral.cpp
	libaderivation/src/RegExpIntegral.h
	libaregexptree/src/RegExpOptimize.cpp