the generator is parametrized with number of states, initial states, and final
states; additionally duplicate, redundant, unreachable states are generated

transition function is filled in transition partitions:
{state, unreachable, redundant} vs {state, unreachable, redundant}

Remove CMakeLists.txt generator scripts from build phase. Replaced with
CMake's GLOB that can re-run every time the build is invoked. We can
also drop the Python dependency now.

Removed header installs which will be redesigned in future commits.

Tomáš Pecka authored 5 years ago and Tomáš Pecka committed 5 years ago

algo: Split ApproximateNondeterministicExactSuffixEpsilonAutomatonForHammingDistance into NFA and EpsilonNFA variants