PrintForm Definitions det automata Sections AutomataTheory Doc

At: DA act wf

Alph,States:Type, a:Automata(Alph;States). a StatesAlphStates
By: ModulePiTac 3 [`DA_act`;`DA_init`;`DA_fin`]
Generated subgoals:

None

About:
alluniversememberfunction