Nuprl - GenAutomata Citations of sm all

GenAutomata Sections NuprlLIB Doc

Def

i:IM(i) == mk_sm(M(i).da for i

I, M(i).ds for i

I,

s.

i:I. M(i).init(s),

s1,a,s2.

i:I. M(i).trans(s1,a,s2))

is mentioned

In prior sections: mb state machine

GenAutomata Sections NuprlLIB Doc