The aim of this Project is to explore mathematical models that address the intersections and structural equivalence between mathematical theory and computational linguistics. In this context, a new formal code can be described using a descriptive grammar through the scientific Planat’s model. Likewise, we draw on NooJ’s model, which is designed for the development of large text processing grammars. The corpora may be of any size, and the text may be imported in a wide variety of formats. A lexical analysis is immediately applied based on a robust dictionary module that includes an integrated morphological analyzer. This study is then concerned with the formal process of literary production and its encounter with digital intelligence. It also identifies a new possibility for research that creates a new multi-code mathematical, linguistic, and computational paradigm. It can therefore be assumed that contemporary communication is formal in nature, comprising systems, axioms, validation methods and theorems, and embedded in a formal grammar.