Un automate fini déterministe, parfois abrégé en AFD (en anglais , abrégé en DFA) est un automate fini dont les transitions à partir de chaque état sont déterminées de façon unique par le symbole d`entrée. Un tel automate se distingue ainsi d`un automate fini non déterministe, où au ...