Équivalence de Nerode

concept relation d'équivalence sur les états d'un automate (fini, déterministe et complet)

Aussi : Congruence de Nerode

Nature : relation d'équivalence

Catégories : concepts abstraits

Mots du lexique : équivalence nom commun