<?xml-stylesheet type="text/xsl" href="ctime1.xsl"?>
<C>
#include &lt;stdio.h>

 void doX(void) {
   printf("\tOutput: X\n");
 }

 void doY(void) {
   printf("\tOutput: Y\n");
 }

int inp(void) {
  int val;
  printf("Input: ");
  scanf("%d",&val);
  return val;
}

#define STD inp()

main() {
<DFA start="DIGIT">
 <STATE name="DIGIT">
   <ON event="STD==1" next="NODIGIT">
     <T_OFF/>
     doX();
   </ON>
   <ONTIMEOUT next="DIGIT">
     doY();
   </ONTIMEOUT>
 </STATE>

 <STATE name="NODIGIT">
   <ON event="STD==0" next="DIGIT">
      <T_ON time="4"/>
   </ON>
 </STATE>
</DFA>
}
</C>