GenAutomata
Sections
NuprlLIB
Doc
Def
[[rn]] rho e == Case(rn) Case eq(Q) = >
x,y. x = y
[[Q]] rho Case R = > e.R Default = > True
is mentioned
In prior sections:
mb
automata
3
GenAutomata
Sections
NuprlLIB
Doc