First version of source code. Allow to create NFA with an enumeration type and any given Image/Value functions (allows String encoding). Pretreatment (dir: src/util) allow to generate a mapping from any subtype of Ada.Containers.Count_Type (they have to start at 1 for now) to String to instanciate at runtime. GAAL also contains an inference algorithm (namely: k Reversible Inference). GAAL also comes with some functionalies, such as chunking and grammatical inference on automata (with k-Reversibke Inference).