GenAutomata Sections NuprlLIB Doc

Def mk_sm(da, ds, init, trans) == < da,ds,init,trans >

is mentioned

In prior sections: mb state machine mb automata 4


GenAutomata Sections NuprlLIB Doc