Automates à nombre fini d’états