PrintForm Definitions myhill nerode Sections AutomataTheory Doc

At: total back listify 1 1 1 1 2
1. Alph: Type
2. S: ActionSet(Alph)
3. sL: S.car*
4. Fin(Alph)
5. Fin(S.car)
6. s: S.car
7. mem_f(S.car;s;sL)

False mem_f(S.car;s;sL)
By: Sel 2 (Analyze 0)
Generated subgoals:

None

About:
orfalseuniverselist