Couvre 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.
Couvre l'addition de fractions et de propriétés de nombres rationnels, en mettant l'accent sur l'associativité et les fractions de somme avec le même dénominateur.
Couvre la structure de l'anneau, en se concentrant sur les polynômes et les coefficients, y compris l'associativité, la distributivité et le produit des anneaux.
