Skip to content

Z automata merge

Jan Trávníčekrequested to merge
ZAutomata-merge into master

ZAutomata auxiliary algorithms and various simplifications and improvements.

Main changes: EpsilonNFTA datatype and its conversion to NFTA, RTE to EpsilonNFTA algorithm, minimization and reduction of ZAutomata.

Merge request reports