Équivalence de Nerode

concept

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

Propriétés

Catégories

Mots liés