Pumping lemma in lattice finite automata: A note | IEEE Conference Publication | IEEE Xplore