In theoretical computer science and mathematics, especially in the area of combinatorics on words, the Levi lemma states that, for all strings u, v, x and y, if uv = xy, then there exists a string w such that either uw = x and v = wy (if |u| ≤ |x|) or u = xw and wv = y (if |u| ≥ |x|) That is, there is a string w that is "in the middle", and can be grouped to one side or the other. Levi's lemma is named after Friedrich Wilhelm Levi, who published it in 1944.
Attributes | Values |
---|
rdf:type
| |
rdfs:label
| - Lemme de Levi (fr)
- Levi's lemma (en)
|
rdfs:comment
| - In theoretical computer science and mathematics, especially in the area of combinatorics on words, the Levi lemma states that, for all strings u, v, x and y, if uv = xy, then there exists a string w such that either uw = x and v = wy (if |u| ≤ |x|) or u = xw and wv = y (if |u| ≥ |x|) That is, there is a string w that is "in the middle", and can be grouped to one side or the other. Levi's lemma is named after Friedrich Wilhelm Levi, who published it in 1944. (en)
- Le lemme de Levi est un résultat d'informatique théorique et de combinatoire des mots. (fr)
|
foaf:depiction
| |
dcterms:subject
| |
Wikipage page ID
| |
Wikipage revision ID
| |
Link from a Wikipage to another Wikipage
| |
sameAs
| |
dbp:wikiPageUsesTemplate
| |
thumbnail
| |
has abstract
| - In theoretical computer science and mathematics, especially in the area of combinatorics on words, the Levi lemma states that, for all strings u, v, x and y, if uv = xy, then there exists a string w such that either uw = x and v = wy (if |u| ≤ |x|) or u = xw and wv = y (if |u| ≥ |x|) That is, there is a string w that is "in the middle", and can be grouped to one side or the other. Levi's lemma is named after Friedrich Wilhelm Levi, who published it in 1944. (en)
- Le lemme de Levi est un résultat d'informatique théorique et de combinatoire des mots. (fr)
|
prov:wasDerivedFrom
| |
page length (characters) of wiki page
| |
foaf:isPrimaryTopicOf
| |
is Link from a Wikipage to another Wikipage
of | |
is Wikipage redirect
of | |
is foaf:primaryTopic
of | |