Relationship between antidictionary automata and compacted substring automata | IEEE Conference Publication | IEEE Xplore