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

    r47 r520  
    41824182         <para> 
    41834183           La plupart des atomes, et toutes les contraintes, n'ont pas 
    4184            d'attribut de faim (parce qu'ils ne correspondent pas à des 
     4184           d'attribut de gourmandise (parce qu'ils ne correspondent pas à des 
    41854185           quantités variables de texte de toute façon). 
    41864186         </para> 
    …… 
    41884188       <listitem> 
    41894189         <para> 
    4190            Ajouter des parenthèses autour d'une ER ne change pas sa faim. 
     4190           Ajouter des parenthèses autour d'une ER ne change pas sa gourmandise. 
    41914191         </para> 
    41924192       </listitem> 
    …… 
    41954195           Un atome quantifié avec un quantificateur à répétition fixe 
    41964196           (<literal>{</><replaceable>m</><literal>}</> ou 
    4197            <literal>{</><replaceable>m</><literal>}?</>) a la même faim 
     4197           <literal>{</><replaceable>m</><literal>}?</>) a la même gourmandise 
    41984198           (peut-être aucune) que l'atome lui-même. 
    41994199         </para> 
    …… 
    42194219           Une branche &mdash; c'est-à-dire une ER qui n'a pas d'opérateur 
    42204220           <literal>|</> de haut niveau &mdash; est aussi affamé que le 
    4221            premier atome quantifié dans lui qui a un attribut de faim. 
     4221           premier atome quantifié dans lui qui a un attribut de gourmandise. 
    42224222         </para> 
    42234223       </listitem> 
    …… 
    42324232 
    42334233   <para> 
    4234      Les règles ci-dessus associent les attributs de faim pas seulement avec 
     4234     Les règles ci-dessus associent les attributs de gourmandise pas seulement avec 
    42354235     les atomes quantifiés individuels, mais aussi avec les branches et les 
    42364236     ER entiers contenant des atomes quantifiés. Cela signifie que la 
    …… 
    42404240     entière déterminée, la partie en lui qui correspond à toute 
    42414241     sous-expression particulière est déterminée sur la base de l'attribut de 
    4242      faim de cette sous-expression, avec les sous-expressions commençant 
     4242     gourmandise de cette sous-expression, avec les sous-expressions commençant 
    42434243     plus tôt dans l'ER ayant priorité sur celles commençant après. 
    42444244   </para>