Automate de Muller

concept

Propriétés