Abstract State Machine

An abstract state machine is most often used as a synonym for a finite state machine with regards to abstract algorithms (for sorting, etc.). A particular theory of abstract state machines for formal specification has been developed by Yuri Gurevich.

 

<< PreviousWord BrowserNext >>
ust
johnston blakeley
chronology of the ancient near east
patricia sawin
t.o.k
sierra madre del sur
side chain
mermaid series
brad owen
jose lutzenberger
asen yordanoff
angostura, venezuela
joshua barney
christian institute
sam reed
contract of bloemfontein
contraposition
bizzy bone presents double r
the rat room
mark mckinney
greater fredericton airport
shearer schoolhouse revival
alpha & omega
farook college, calicut
kyushu q1w
joseph breckinridge
association of international educators
al lowe
expectiminimax tree
beginning and the end
club nacional de ftbol
maniratnam
karl adams
richard m. elliot
louisville grays
saint hippolyte
oak ridge military academy
the monks
complete induction
creeping on ah come up
war of tatters
scent of the obscene
ranked list of bolivian departments
btnhresurrection