Construction Par Sous-ensembles

concept

convertir un automate fini non déterministe en un automate fini déterministe équivalent

Propriétés