Learning deterministic finite automata with a smart state labeling evolutionary algorithm | IEEE Journals & Magazine | IEEE Xplore