Informatik Semi-Linear Lattices and Right One-Way Jumping Finite Automata