fact: Definition isregular_A (l : wordset) : Prop := exists q : Ensf, (exists qd : Ensf, (exists qa : Ensf, (exists d : Ensf, automate_A q qd qa d /\ eqwordset (reconnait_A q qd qa d) l))).
imports: Ensf Max Words Dec