FMI-LFA-T1-Automate Automatons implementation: Finite deterministic (DFA) Finite Nondeterministic (NFA) Finite Nondeterministic with lambda transitions (LNFA/ΛNFA)