]> matita.cs.unibo.it Git - helm.git/blob - helm/searchEngine/html/grammarpdq.html
55fec767328516ab221cbb33863de1328a984015
[helm.git] / helm / searchEngine / html / grammarpdq.html
1 <HTML>
2 <HEAD>
3 <SCRIPT language="Javascript">
4 </SCRIPT>
5 </HEAD>
6 <BODY>
7 <a name="Id">
8 <p><b>&lt;Id&gt;</b>::=[ 'A-Z' | 'a-z' ][ 'A-Z' | 'a-z' | '0-9' | \- | _ | \' ]*</a>
9 <a name="Uri">
10 <p><b>&lt;Uri&gt;</b>::=&lt;<a href="#Conuri">Conuri</a>&gt; | &lt;<a href="#Varuri">Varuri</a>&gt; | &lt;<a href="#Indtyuri">Indtyuri</a>&gt; | &lt;<a href="#Indconuri">Indconuri</a>&gt;</a>
11 <a name="Conuri">
12 <p><b>&lt;Conuri&gt;</b>::=&quot;cic:/&quot; [&lt;<a href="#Id">Id</a> &quot;/&quot; ]*&lt;<a href="#Id">Id</a>&gt; &quot;.con&quot;</a>
13 <a name="Varuri">
14 <p><b>&lt;Varuri&gt;</b>::=&quot;cic:/&quot; [&lt;<a href="#Id">Id</a>&gt; &quot;/&quot; ]*&lt;<a href="#Id">Id</a>&gt; &quot;.var&quot;</a>
15 <a name="Indtyuri">
16 <p><b>&lt;Indtyuri&gt;</b>::=&quot;cic:/&quot; [&lt;<a href="#Id">Id</a>&gt; &quot;/&quot; ]*&lt;<a href="#Id">Id</a>&gt; &quot;.ind#1/&quot; ['0-9']+</a>
17 <a name="Indconuri">
18 <p><b>&lt;Indconuri&gt;</b>::=&quot;cic:/&quot; [&lt;<a href="#Id">Id</a>&gt; &quot;/&quot; ]*&lt;<a href="#Id">Id</a>&gt; &quot;.ind#1/&quot; ['0-9']+ &quot;/&quot; ['0-9']+</a>
19 <a name="Exp_Named_Subst">
20 <p><b>&lt;Exp_Named_Subst&gt;</b>::=&quot;{&quot; [ [ [&lt;<a href="#Id">Id</a>&gt; | &lt;<a href="#Varuri">Varuri</a>&gt; ] &quot;:=&quot; &lt;Expression&gt; &quot;;&quot; ]* [ [&lt;<a href="#Id">Id</a>&gt; | &lt;<a href="#Varuri">Varuri</a>&gt; ] &quot;:=&quot; &lt;Expression&gt; ] ]? &quot;}&quot;</a>
21 </BODY>
22 </HTML>