GenAutomata Sections NuprlLIB Doc

Def ptn_con(T) == Atom++Atom+(TT)

is mentioned

In prior sections: mb basic


GenAutomata Sections NuprlLIB Doc