GenAutomata Sections NuprlLIB Doc

Def tc_pred(P;ds;da;de) == r:rel(). r P tc(r;ds;da;de)

is mentioned

In prior sections: mb automata 4


GenAutomata Sections NuprlLIB Doc