PrintForm Definitions nfa 1 Sections AutomataTheory Doc

At: NDA fin wf

Alph,States:Type, n:NDA(Alph;States). F(n) States
By: ModulePiTac 3 [`NDA_act`;`NDA_init`;`NDA_fin`]
Generated subgoals:

None

About:
alluniversememberfunctionbool