Theory of Formal Languages related domains (1)