Show
Ignore:
Timestamp:
12/08/06 09:57:24 (2 years ago)
Author:
sas
Message:

Correctifs suite aux remarques de CedricOB. Certaines ne sont pas prises en
compte, car elles font référence à la documentation originale. Peut-être
faudrait-il les faire suivre aux responsables de la documentation officielle
?
fix #127 and #128 and #130 and #131 and #132 and #134 and #138
close #127 and #128 and #130 and #131 and #132 and #134 and #138

Files:

Legend:

Unmodified
Added
Removed
Modified
Copied
Moved

  • traduc/tags/tv813/sgml/func.xml

    r251 r520  
    41964196         <para> 
    41974197           La plupart des atomes, et toutes les contraintes, n'ont pas 
    4198            d'attribut de faim (parce qu'ils ne correspondent pas à des 
     4198           d'attribut de gourmandise (parce qu'ils ne correspondent pas à des 
    41994199           quantités variables de texte de toute façon). 
    42004200         </para> 
    …… 
    42024202       <listitem> 
    42034203         <para> 
    4204            Ajouter des parenthèses autour d'une ER ne change pas sa faim. 
     4204           Ajouter des parenthèses autour d'une ER ne change pas sa gourmandise. 
    42054205         </para> 
    42064206       </listitem> 
    …… 
    42094209           Un atome quantifié avec un quantificateur à répétition fixe 
    42104210           (<literal>{</literal><replaceable>m</replaceable><literal>}</literal> ou 
    4211            <literal>{</literal><replaceable>m</replaceable><literal>}?</literal>) a la même faim 
     4211           <literal>{</literal><replaceable>m</replaceable><literal>}?</literal>) a la même gourmandise 
    42124212           (peut-être aucune) que l'atome lui-même. 
    42134213         </para> 
    …… 
    42334233           Une branche &mdash; c'est-à-dire une ER qui n'a pas d'opérateur 
    42344234           <literal>|</literal> de haut niveau &mdash; est aussi gourmand que le 
    4235            premier atome quantifié dans lui qui a un attribut de faim. 
     4235           premier atome quantifié dans lui qui a un attribut de gourmandise. 
    42364236         </para> 
    42374237       </listitem> 
    …… 
    42464246 
    42474247   <para> 
    4248      Les règles ci-dessus associent les attributs de faim pas seulement avec 
     4248     Les règles ci-dessus associent les attributs de gourmandise pas seulement avec 
    42494249     les atomes quantifiés individuels, mais aussi avec les branches et les 
    42504250     ER entiers contenant des atomes quantifiés. Cela signifie que la 
    …… 
    42544254     entière déterminée, la partie en lui qui correspond à toute 
    42554255     sous-expression particulière est déterminée sur la base de l'attribut de 
    4256      faim de cette sous-expression, avec les sous-expressions commençant 
     4256     gourmandise de cette sous-expression, avec les sous-expressions commençant 
    42574257     plus tôt dans l'ER ayant priorité sur celles commençant après. 
    42584258   </para>