State Machine Semantics

Your browser does not support frames, <body><a href="menu.html">try the version without frames</a>, please. </body>