En théorie des automates, un automate fini inambigu (on dit aussi non ambigu, en anglais , abrégé en UFA) est un automate fini non déterministe d`un type particulier. C`est un automate qui, pour chaque mot accepté, ne possède qu`un seul calcul réussi. Tout automate fini déterministe est i...