| German |
| has gloss | deu: Konfluenz ist ein Begriff aus der Theoretischen Informatik und bezeichnet die Eigenschaft eines Transitionssystems, jedem Element nur höchstens eine Normalform zuzuordnen. Das heißt, wenn ein Element oder ein Term auf verschiedene Art und Weise ersetzt werden kann, wird es nach weiteren Ersetzungen immer zum gleichen Term überführt. Konfluenz ist also analog zu mehreren Strömen, die zu einem Strom zusammenfließen. Im Lambda-Kalkül wird dieses durch die Church-Rosser-These gezeigt. |
| lexicalization | deu: Konfluenz |
| French |
| has gloss | fra: La confluence d'un système de réécriture \rightarrow_R est définie comme la propriété suivante : |
| lexicalization | fra: confluence |
| Japanese |
| has gloss | jpn: 合流性（）は項書き換えシステムなどの特性で、項を複数の方法で書き換え可能な場合にどちらの方法で書き換えても最終的な結果が合流する（一意に定まる）という性質のことである。合流性はチャーチ・ロッサー性と呼ばれる特性と等価である。合流性を持つシステムは書き換え規則の適用順序によらない一貫性のある論理的な意味を持ち、遅延評価、並行評価、部分評価などの柔軟な評価方法が可能になる。 |
| lexicalization | jpn: 合流性 |
| Portuguese |
| has gloss | por: A confluência é uma propriedade de sistemas de reescrita de termos definida do seguinte modo: dado um sistema de reescrita de termos R e um termo t neste sistema, a escolha de uma das regras de R a ser aplicada sobre t não modificará o resultado obtido pela reescrita de t, isto é, não importa as regras escolhidas a serem aplicadas, pois a escolha de diferentes regras sempre resultará em um elemento comum atingido a partir de cada escolha possível para reescrita do termo. |
| lexicalization | por: confluência |
