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/tv808/manuel/func.sgml

    r128 r520  
    39603960         <para> 
    39613961           La plupart des atomes, et toutes les contraintes, n'ont pas 
    3962            d'attribut de faim (parce qu'ils ne correspondent pas à des 
     3962           d'attribut de gourmandise (parce qu'ils ne correspondent pas à des 
    39633963           quantités variables de texte de toute façon). 
    39643964         </para> 
    …… 
    39663966       <listitem> 
    39673967         <para> 
    3968            Ajouter des parenthèses autour d'une ER ne change pas sa faim. 
     3968           Ajouter des parenthèses autour d'une ER ne change pas sa gourmandise. 
    39693969         </para> 
    39703970       </listitem> 
    …… 
    39733973           Un atome quantifié avec un quantificateur à répétition fixe 
    39743974           (<literal>{</><replaceable>m</><literal>}</> ou 
    3975            <literal>{</><replaceable>m</><literal>}?</>) a la même faim 
     3975           <literal>{</><replaceable>m</><literal>}?</>) a la même gourmandise 
    39763976           (peut-être aucune) que l'atome lui-même. 
    39773977         </para> 
    …… 
    39973997           Une branche &mdash; c'est-à-dire une ER qui n'a pas d'opérateur 
    39983998           <literal>|</> de haut niveau &mdash; est aussi gourmand que le 
    3999            premier atome quantifié dans lui qui a un attribut de faim. 
     3999           premier atome quantifié dans lui qui a un attribut de gourmandise. 
    40004000         </para> 
    40014001       </listitem> 
    …… 
    40104010 
    40114011   <para> 
    4012      Les règles ci-dessus associent les attributs de faim pas seulement avec 
     4012     Les règles ci-dessus associent les attributs de gourmandise pas seulement avec 
    40134013     les atomes quantifiés individuels, mais aussi avec les branches et les 
    40144014     ER entiers contenant des atomes quantifiés. Cela signifie que la 
    …… 
    40184018     entière déterminée, la partie en lui qui correspond à toute 
    40194019     sous-expression particulière est déterminée sur la base de l'attribut de 
    4020      faim de cette sous-expression, avec les sous-expressions commençant 
     4020     gourmandise de cette sous-expression, avec les sous-expressions commençant 
    40214021     plus tôt dans l'ER ayant priorité sur celles commençant après. 
    40224022   </para>