Formal_language_theory loading ...