bn:03899597n
Noun Named Entity
IT
No term available
FR
L'équivalence de Nerode est une relation d'équivalence sur les états d'un automate fini déterministe et complet permettant de définir l'automate minimal reconnaissant le même langage. Wikipedia
Relations
Sources