The word problem for k -depth languages. Semigroups, automata and languages