bn:03899597n
Noun Named Entity
JA
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
NAMED AFTER