GenAutomata Sections NuprlLIB Doc

Def M.state == {M.ds}

is mentioned

In prior sections: mb state machine mb automata 4


GenAutomata Sections NuprlLIB Doc