<br><div class="gmail_quote">On Wed, Sep 14, 2011 at 1:34 AM, Adrian Thurston <span dir="ltr"><<a href="mailto:thurston@complang.org">thurston@complang.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
Hi Shawn, does this work for you?<br>
<br>
A = (<br>
   start: A: (<div class="im"><br>
       IDLE -> A |<br>
       POLL @poll OPEN -> A |<br>
       POLL @poll CLOSED -> B<br>
   ),<br></div><div class="im">
   B: (IDLE -> B | EXIT -> final)<br></div>
) >a_entry;<br>
<br>
m := START A;<br>
<br>
-Adrian</blockquote><div><br></div><div>Hi Adrian,</div><div><br></div><div>I didn't do a great job of translating my much larger state chart into the small example, so there are a few complications in the way of directly following your suggestion. However, this gives me some things to think about for how to better factor my machines. Thanks for the help!</div>
<div><br></div><div>Shawn</div></div>