GenAutomata Sections NuprlLIB Doc

Def =(M)(m_1,m_2) == ((content(M)(m_1)) =(cEQ(M)) (content(M)(m_2)))sender(M)(m_1) = sender(M)(m_2)(uid(M)(m_1)=uid(M)(m_2))

is mentioned

In prior sections: mb structures


GenAutomata Sections NuprlLIB Doc