GenAutomata
Sections
NuprlLIB
Doc
Def
R(tg) == swap adjacent[
tg(x) = tg(y)
Label]^*
is mentioned
In prior sections:
mb
hybrid
GenAutomata
Sections
NuprlLIB
Doc
tg(x) = tg(y) 
Label]^*