Introduit les bases des automates finis, y compris les types déterministes et non déterministes, les expressions régulières et les critères d'acceptation.
Explore les ensembles dénombrables et non dénombrables, démontrant comment déterminer la cardinalité des différents ensembles en répertoriant les éléments dans une séquence.
