String matching with k differences by finite automata | IEEE Conference Publication | IEEE Xplore