Skip to content

Z automata merge

Jan Trávníček requested 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