Implementation of non-deterministic finite automata (NFA)-based detectors for finite labelled transition systems (FLTS) as appeared in a paper
Primary LanguageC++OtherNOASSERTION