GenAutomata
Sections
NuprlLIB
Doc
Def
[[ds]] rho == [[d]] rho for d
{d:dec()| d
ds }
is mentioned
In prior sections:
mb
automata
3
mb
automata
4
GenAutomata
Sections
NuprlLIB
Doc
{d:dec()| d ds }