Recent questions in Theory of Formal Languages for Automata - Engineering