sigle→ masculin→. [spécification]. Non-deterministic Finite-state Automaton. automate à états finis non déterministe. Contraire : DFA.
