PrintForm Definitions nfa 1 Sections AutomataTheory Doc

At: NDA init wf

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

None

About:
alluniversemember