Théorème de Myhill-nerode

concept

théorème en informatique théorique

Propriétés