Junction

In data processing:

The junction of a system of rewriting $\backslash \; rightarrow\_R$ is defined like the following property:

For all terms $M,\; M\_1,\; M\_2$ such as $M\; \backslash \; rightarrow\_R^*\; M\_1$ and $M\; \backslash \; rightarrow\_R^*\; M\_2$, there exists $M\text{'}$ such as $M\_1\; \backslash \; rightarrow\_R^*\; M\text{'}$ and $M\_2\; \backslash \; rightarrow\_R^*\; M\text{'}$.

The junction is trivialement equivalent to the Propriété of Church-Rosser.

The lemma of Newmann states that a system of rewriting finishing and locally confluent is confluent.

The Propriété of diamond implies also the junction of the system.

In geography

The junction is the point where a Rivière or an affluent (or several) is thrown (NT) in a Fleuve.

In cellular culture

The Confluence is a cellular term of culture which describes the degree of spacing which exists between adhering cells cultivated into full-course on a suitable support. For example 100% of junction describes a cellular carpet not presenting any interstice between each cell, in light they touch all.

Random links:

Puy of Nugère | Beonex Communicator | Sault co. Marie (Michigan) | Emile the African | Transformation of the photomaton | Plagiaulax

© 2007-2008 speedlook.com; article text available under the terms of GFDL, from fr.wikipedia.org