Séance de cours
Cette séance de cours présente un système de distributeur de collations avec 6 niveaux, 4 emplacements chacun, contenant 10 articles par emplacement. La machine fonctionne en insérant 1 CHF pièce deux fois, puis en sélectionnant une collation. Le stockage de pièces de monnaie stable peut contenir jusqu'à 500 CHF. Le système de transition est décrit, et la cardinalité de tous les états est estimée. La séance de cours explore si le stockage stable peut contenir 99, 100 ou 490 pièces.