Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Communicating Hierarchical State Machines Rajeev Alur

Summary: Communicating Hierarchical State Machines 
Rajeev Alur
University of Pennsylvania
alur @ cis.upenn.edu
Sampath Kannan
University of Pennsylvania
kannan @ cis.upenn.edu
Mihalis Yannakakis
Columbia University
August 17, 2005
Hierarchical state machines are nite state machines whose states themselves can be other
machines. In spite of their popularity in many modeling tools for software design, very little is
known concerning their complexity and expressiveness. In this paper, we study these questions
for hierarchical state machines as well as for communicating hierarchical state machines, that
is, nite state machines extended with both hierarchy and concurrency. We present a com-
prehensive set of results characterizing (1) the complexity of the reachability, emptiness and
universality problems, (2) the complexity of the language inclusion and equivalence problems,
and (3) the succinctness relationships between di erent types of machines.


Source: Alur, Rajeev - Department of Computer and Information Science, University of Pennsylvania


Collections: Computer Technologies and Information Sciences