GenAutomata Sections NuprlLIB Doc

Def closed_pred(p) == r:rel(). r p closed_rel(r)

is mentioned

In prior sections: mb automata 3 mb automata 4


GenAutomata Sections NuprlLIB Doc