Langages formels : ConceptsCouvre les concepts fondamentaux des langues formelles, y compris les alphabets, les mots, les langues et l'égalité des mots.
Semi-groupes d'opérateurs linéairesExplore les semi-groupes d'opérateurs linéaires, les semi-groupes de contraction, le générateur infinitésimal et les propriétés intégrales de Riemann.
Langages formels : ConceptsCouvre les bases des langues formelles, y compris les alphabets, les mots et les langues, ainsi que des opérations comme la concaténation et l'inversion.
Polymorphisme et preuvesCouvre le polymorphisme paramétrique, énumère la construction, les tuples, les méthodes génériques, le tri de fusion et les propriétés du programme.