Automate fini déterministe