g102.O3.ixml.xml

<?xml version="1.0" encoding="UTF-8"?>
<?xml-stylesheet type="text/xsl" href="../../lib/ixml-html.xsl"?>
<ixml xmlns:gt="http://blackmesatech.com/2020/grammartools"
      gt:date="2021-01-26T17:01:43.091282-07:00"
      gt:base-grammar="file:/Users/cmsmcq/2021/ixml-tests/tests-straw/gxxx/g102.ixml.xml"
      gt:base-grammar-uri="file:/Users/cmsmcq/2021/ixml-tests/tests-straw/gxxx/g102.ixml.xml"
      gt:dg-type="regular approximation"
      gt:ra-type="rk-subset"
      gt:k="3">
   <comment>2021-01-26T17:01:43.091282-07:00: ixml-to-rk-subset.xsl.</comment>
   <comment>    Input: file:/Users/cmsmcq/2021/ixml-tests/tests-straw/gxxx/g102.ixml.xml</comment>
   <comment>    This grammar accepts the r_3 subset </comment>
   <comment>    of the language accepted by the input grammar.</comment>
   <comment>2021-01-26T17:01:43.091282-07:00: ixml-annotate-pc.xsl.</comment>
   <comment>    Input: file:/Users/cmsmcq/2021/ixml-tests/tests-straw/gxxx/g102.ixml.xml</comment>
   <comment>    Grammar augmented with @gt:recursive etc.</comment>
   <comment> g102:  a small ixml grammar:  102

  One of a series (initially for test case construction).

  This one is an FSA with 1 nonfinal state, 0 final states, 2 arcs.

  L is the empty set.
</comment>
   <comment> Revisions:
  2021-01-17 : CMSMcQ : made ixml 
</comment>
   <comment> First, nonrecursive production rules </comment>
   <comment> Second, recursive production rules </comment>
   <rule name="S" gt:basename="S" gt:affix="" gt:type="stack-affixed">
      <alt>
         <literal sstring="a"/>
         <nonterminal name="S·S·" gt:basename="S" gt:affix="S·"/>
      </alt>
      <alt>
         <inclusion>
            <range from="#80" to="#D7FF"/>
            <range from="#E000" to="#FFFD"/>
            <range from="#10000" to="#10FFFF"/>
         </inclusion>
         <nonterminal name="S·S·" gt:basename="S" gt:affix="S·"/>
      </alt>
   </rule>
   <rule name="S·S·"
         gt:basename="S"
         gt:affix="S·"
         gt:type="stack-affixed">
      <alt>
         <literal sstring="a"/>
         <nonterminal name="S·S·S·" gt:basename="S" gt:affix="S·S·"/>
      </alt>
      <alt>
         <inclusion>
            <range from="#80" to="#D7FF"/>
            <range from="#E000" to="#FFFD"/>
            <range from="#10000" to="#10FFFF"/>
         </inclusion>
         <nonterminal name="S·S·S·" gt:basename="S" gt:affix="S·S·"/>
      </alt>
   </rule>
   <rule name="S·S·S·"
         gt:basename="S"
         gt:affix="S·S·"
         gt:type="stack-affixed">
      <alt>
         <literal sstring="a"/>
         <nonterminal name="S·S·S·S·" gt:basename="S" gt:affix="S·S·S·"/>
      </alt>
      <alt>
         <inclusion>
            <range from="#80" to="#D7FF"/>
            <range from="#E000" to="#FFFD"/>
            <range from="#10000" to="#10FFFF"/>
         </inclusion>
         <nonterminal name="S·S·S·S·" gt:basename="S" gt:affix="S·S·S·"/>
      </alt>
   </rule>
   <rule name="S·S·S·S·"
         gt:basename="S"
         gt:affix="S·S·S·"
         gt:type="stack-affixed">
      <alt>
         <literal sstring="a"/>
         <nonterminal name="S·S·S·S·S·" gt:basename="S" gt:affix="S·S·S·S·"/>
      </alt>
      <alt>
         <inclusion>
            <range from="#80" to="#D7FF"/>
            <range from="#E000" to="#FFFD"/>
            <range from="#10000" to="#10FFFF"/>
         </inclusion>
         <nonterminal name="S·S·S·S·S·" gt:basename="S" gt:affix="S·S·S·S·"/>
      </alt>
   </rule>
   <rule name="S·S·S·S·S·"
         gt:basename="S"
         gt:affix="S·S·S·S·"
         gt:type="stub">
      <alt>
         <nonterminal name="max-S"/>
      </alt>
   </rule>

   <rule name="max-S">
      <alt>
         <literal sstring="a"/>
         <nonterminal name="max-S"/>
      </alt>
      <alt>
         <inclusion>
            <range from="#80" to="#D7FF"/>
            <range from="#E000" to="#FFFD"/>
            <range from="#10000" to="#10FFFF"/>
         </inclusion>
         <nonterminal name="max-S"/>
      </alt>
   </rule>

   <comment> bye </comment>
</ixml>