Finite models and the theory of concatenation