PrintForm Definitions det automata Sections AutomataTheory Doc

At: DA init wf

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

None

About:
alluniversemember