Efficient interpretation of state charts
The language of state charts is precisely defined. A formal syntactical definition is given that defines all legal state charts, together with an operational semantics that reflects the automata theoretic view consistently. Finally, an efficient interpreter to enable prototyping with state charts is specified.
Unable to display preview. Download preview PDF.
- Jürgen Ebert. Efficient Interpretation of State Charts (Long Version). Rijksuniversiteit te Leiden, the Netherlands, Vakgroep Informatica, Report 93-xx.Google Scholar
- John E. Hopcroft, Jeffrey D. Ullman. Introduction to Automata Theory, Languages, and Computation. Reading MA: Addison-Wesley, 1979.Google Scholar