Automata theory and its applications
Auteur :
Khoussainov, Bakhadyr
Éditeur :
Khoussainov, BakhadyrNerode, Anil,
ISBN :
9780817642075
Date de publication :
8 juin 2001
Dimensions :
23,4 x 15,6 x 2,5 cm
Poids :
884 g
Format :
Laminated cover
Langue :
Anglais
Pays d'origine :
USA
This work is a uniform treatment of the theory of finite state machines on finite and infinite strings and trees. The results have important applications to modelling parallel computation and concurrency, and the specification and verification of sequential and concurrent programs.