g112.ixml.xml

<?xml version="1.0" encoding="UTF-8"?>
<?xml-stylesheet type="text/xsl" href="../../lib/ixml-html.xsl"?>
<ixml>
  <comment>

    g112:  a small ixml grammar:  112
    
    One of a series (initially for test case construction).
  
    This one is an FSA with 1 nonfinal state, 1 final state, 2 arcs.
    (I'm not counting the nil arc marking A as final.)
    
    L is the set containing strings of one or more 'a' and
    nothing else.
    
  </comment>
  <comment> 
    Revisions:
    2021-01-17 : CMSMcQ : made ixml 
  </comment>
  <rule name="S">
    <alt>
      <literal sstring="a"/>
      <nonterminal name="A"/>
    </alt>
  </rule>
  <rule name="A">
    <alt>
      <literal sstring="a"/>
      <nonterminal name="A"/>
    </alt>
    <alt/>
  </rule>
</ixml>