Nuprl - mb automata 4 Citations of st app

mb automata 4 Sections GenAutomata 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

Try larger context: GenAutomata

mb automata 4 Sections GenAutomata Doc