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

    r12 r520  
    40074007         <para> 
    40084008           La plupart des atomes, et toutes les contraintes, n'ont pas 
    4009            d'attribut de faim (parce qu'ils ne correspondent pas à des 
     4009           d'attribut de gourmandise (parce qu'ils ne correspondent pas à des 
    40104010           quantités variables de texte de toute façon). 
    40114011         </para> 
    …… 
    40134013       <listitem> 
    40144014         <para> 
    4015            Ajouter des parenthèses autour d'une ER ne change pas sa faim. 
     4015           Ajouter des parenthèses autour d'une ER ne change pas sa gourmandise. 
    40164016         </para> 
    40174017       </listitem> 
    …… 
    40204020           Un atome quantifié avec un quantificateur à répétition fixe 
    40214021           (<literal>{</><replaceable>m</><literal>}</> ou 
    4022            <literal>{</><replaceable>m</><literal>}?</>) a la même faim 
     4022           <literal>{</><replaceable>m</><literal>}?</>) a la même gourmandise 
    40234023           (peut-être aucune) que l'atome lui-même. 
    40244024         </para> 
    …… 
    40444044           Une branche &mdash; c'est-à-dire une ER qui n'a pas d'opérateur 
    40454045           <literal>|</> de haut niveau &mdash; est aussi affamé que le 
    4046            premier atome quantifié dans lui qui a un attribut de faim. 
     4046           premier atome quantifié dans lui qui a un attribut de gourmandise. 
    40474047         </para> 
    40484048       </listitem> 
    …… 
    40574057 
    40584058   <para> 
    4059      Les règles ci-dessus associent les attributs de faim pas seulement avec 
     4059     Les règles ci-dessus associent les attributs de gourmandise pas seulement avec 
    40604060     les atomes quantifiés individuels, mais aussi avec les branches et les 
    40614061     ER entiers contenant des atomes quantifiés. Cela signifie que la 
    …… 
    40654065     entière déterminée, la partie en lui qui correspond à toute 
    40664066     sous-expression particulière est déterminée sur la base de l'attribut de 
    4067      faim de cette sous-expression, avec les sous-expressions commençant 
     4067     gourmandise de cette sous-expression, avec les sous-expressions commençant 
    40684068     plus tôt dans l'ER ayant priorité sur celles commençant après. 
    40694069   </para>