In response to the need for reliable results from natural language processing, this book presents an original way of decomposing a language(s) in a microscopic manner by means of intra/inter-language norms and divergences, going progressively from languages as systems to the linguistic, mathematical and computational models, which being based on a constructive approach are inherently traceable. Languages are described with their elements aggregating or repelling each other to form viable interrelated micro-systems. The abstract model, which contrary to the current state of the art works in intension, is exploitable for all sorts of applications where only the elements which are useful are assembled in the micro-systems needed to solve the problem in hand. Numerous definitions, schemata and examples involving many languages make the book accessible to students as well as academics and industrial researchers looking for new theories and methodologies for representations and problem solving wherever language and quality meet.