GenAutomata
Sections
NuprlLIB
Doc
Def
Tag-by-msg(E)(tr) ==
i,j:
||tr||.
(tr[i] =msg=(E) tr[j])
tag(E)(tr[i]) = tag(E)(tr[j])
is mentioned
In prior sections:
mb
hybrid
GenAutomata
Sections
NuprlLIB
Doc