<HTML><HEAD></HEAD>
<BODY dir=ltr>
<DIV dir=ltr>
<DIV style="FONT-FAMILY: 'Calibri'; COLOR: #000000; FONT-SIZE: 12pt">
<DIV>Liang,</DIV>
<DIV> </DIV>
<DIV>your problem is likely to be caused by the relative priorities on whether
to stay or leave any of the partial FS machines due to common character
sequences.</DIV>
<DIV> </DIV>
<DIV>There is an interesting side effect in the way you have written your
specification. The path “/pub/ietf/uri” may not get accepted, but
“:/pub/ietf/uri” does!</DIV>
<DIV> </DIV>
<DIV>Rebalancing your machine slightly, so it reads</DIV>
<DIV> </DIV>
<DIV> main := (( scheme ":" )?) <:
(( "//" authority** )?) path ( "?" query )? ( "#" fragment )?;</DIV>
<DIV> </DIV>
<DIV>lets it now accept the initial path spec. Of course, I have not checked
whether there are now new unwanted effects. In case of ambiguities like this my
preferred method to study it is by looking at the graphviz output.</DIV>
<DIV> </DIV>
<DIV>jg</DIV>
<DIV
style="FONT-STYLE: normal; DISPLAY: inline; FONT-FAMILY: 'Calibri'; COLOR: #000000; FONT-SIZE: small; FONT-WEIGHT: normal; TEXT-DECORATION: none">
<DIV style="FONT: 10pt tahoma"><FONT size=3
face=Calibri></FONT> </DIV></DIV></DIV></DIV></BODY></HTML>