Title: From languages to equation sets on lattices