GenAutomata
Sections
NuprlLIB
Doc
Def
st_app(c1;c2) == (
s2
c2.(
s1
c1.st_app1(s1;s2)))
is mentioned
In prior sections:
mb
automata
2
mb
automata
3
GenAutomata
Sections
NuprlLIB
Doc
s2
c2.(s1c1.st_app1(s1;s2)))