Languages Formalization: The Nooj's Approach