Re: [EXI] Circular production with no terminal symbol

Hi Yuri,

Given the following schema, which is a little more complex than the one
you  provided:

<xs:sequence minOccurs="0" maxOccurs="unbounded">
  <xs:element name="a" minOccurs="0" maxOccurs="unbounded"/>
  <xs:element name="b" minOccurs="0" maxOccurs="unbounded"/>
  <xs:element name="c" minOccurs="0" maxOccurs="unbounded"/>
</xs:sequence>

The normalized grammar would look like this:

PTA :
  SE(A) PTA
  SE(B) PTB
  SE(C) PTC
  EE

PTB:
  SE(B) PTB
  SE(C) PTC
  SE(A) PTA
  EE

PTC:
  SE(C) PTC
  SE(A) PTA
  SE(B) PTB
  EE

When you normalize the grammar, please remove self-recursion
production with no terminal symbols of the form:
G: G

We failed to mention to remove such production during normalization,
and we appreciate that you caught this issue.

Thanks!

-taki