Dependency relation
http://dbpedia.org/resource/Dependency_relation an entity of type: Abstraction100002137
En matemáticas, dado un conjunto no vacío A, y una relación binaria entre sus elementos, se dice que esta relación binaria es una relación de dependencia, si es reflexiva y simétrica: Propiedad reflexiva: Propiedad simétrica:
rdf:langString
Відношення толерантності (близькості, подібності) - рефлексивне, симетричне та не транзитивне бінарне відношення. Наприклад можна розглянути відношення близькості. Київ близько сам до себе (рефлексивність), якщо Київ близько до Черкас, то й Черкаси до Києва (симетричність), і якщо Київ близько до Черкас, а Черкаси до Дніпропетровська, це ще не означає що Київ близько до Дніпропетровська (не транзитивне). Якщо додати ще умову транзитивності, то вийде відношення еквівалентності.
rdf:langString
In computer science, in particular in concurrency theory, a dependency relation is a binary relation on a finite domain , symmetric, and reflexive; i.e. a finite tolerance relation. That is, it is a finite set of ordered pairs , such that
* If then (symmetric)
* If , then (reflexive) In general, dependency relations are not transitive; thus, they generalize the notion of an equivalence relation by discarding transitivity. is also called the alphabet on which is defined. The independency induced by is the binary relation is a dependency relation.
rdf:langString
Nella teoria dei linguaggi formali, e in particolare nell'ambito dei linguaggi traccia, un alfabeto concorrente è costituito da una coppia in cui rappresenta un generico alfabeto e rappresenta una relazione binaria su detta relazione di indipendenza. Dati due simboli , se si dice che e sono indipendenti.
* un simbolo non può essere elaborato concorrentemente a sé stesso (irriflessività);
* nel caso possa essere elaborato concorrentemente rispetto a , lo stesso deve valere per rispetto ad (simmetria).
rdf:langString
rdf:langString
Relación de dependencia
rdf:langString
Dependency relation
rdf:langString
Alfabeto concorrente
rdf:langString
Відношення толерантності
xsd:integer
10739341
xsd:integer
1080177524
rdf:langString
In computer science, in particular in concurrency theory, a dependency relation is a binary relation on a finite domain , symmetric, and reflexive; i.e. a finite tolerance relation. That is, it is a finite set of ordered pairs , such that
* If then (symmetric)
* If , then (reflexive) In general, dependency relations are not transitive; thus, they generalize the notion of an equivalence relation by discarding transitivity. is also called the alphabet on which is defined. The independency induced by is the binary relation That is, the independency is the set of all ordered pairs that are not in . The independency relation is symmetric and irreflexive. Conversely, given any symmetric and irreflexive relation on a finite alphabet, the relation is a dependency relation. The pair is called the concurrent alphabet. The pair is called the independency alphabet or reliance alphabet, but this term may also refer to the triple (with induced by ). Elements are called dependent if holds, and independent, else (i.e. if holds). Given a reliance alphabet , a symmetric and irreflexive relation can be defined on the free monoid of all possible strings of finite length by: for all strings and all independent symbols . The equivalence closure of is denoted or and called -equivalence. Informally, holds if the string can be transformed into by a finite sequence of swaps of adjacent independent symbols. The equivalence classes of are called traces, and are studied in trace theory.
rdf:langString
En matemáticas, dado un conjunto no vacío A, y una relación binaria entre sus elementos, se dice que esta relación binaria es una relación de dependencia, si es reflexiva y simétrica: Propiedad reflexiva: Propiedad simétrica:
rdf:langString
Nella teoria dei linguaggi formali, e in particolare nell'ambito dei linguaggi traccia, un alfabeto concorrente è costituito da una coppia in cui rappresenta un generico alfabeto e rappresenta una relazione binaria su detta relazione di indipendenza. Dati due simboli , se si dice che e sono indipendenti. La relazione di indipendenza è definita come una relazione binaria su antiriflessiva e simmetrica. Il fatto che, dal punto di vista della concorrenza, due simboli e indipendenti possano essere elaborati in un ordine qualunque oppure in parallelo spiega perché sia definita in questo modo, infatti:
* un simbolo non può essere elaborato concorrentemente a sé stesso (irriflessività);
* nel caso possa essere elaborato concorrentemente rispetto a , lo stesso deve valere per rispetto ad (simmetria). Il concetto di alfabeto concorrente costituisce una generalizzazione del concetto di alfabeto, il quale può essere visto come un alfabeto concorrente con la relazione di indipendenza vuota.
rdf:langString
Відношення толерантності (близькості, подібності) - рефлексивне, симетричне та не транзитивне бінарне відношення. Наприклад можна розглянути відношення близькості. Київ близько сам до себе (рефлексивність), якщо Київ близько до Черкас, то й Черкаси до Києва (симетричність), і якщо Київ близько до Черкас, а Черкаси до Дніпропетровська, це ще не означає що Київ близько до Дніпропетровська (не транзитивне). Якщо додати ще умову транзитивності, то вийде відношення еквівалентності.
xsd:nonNegativeInteger
4404
