Pytania oznaczone «denotational-semantics»

15
Zastosowania quasi-PER / relacji dwufunkcyjnych / relacji zygzakowatych?

Biorąc pod uwagę zbiory i B , relacja difunkcyjna ( ∼ ) ⊆ A × B między nimi jest zdefiniowana jako relacja spełniająca następującą właściwość:AAABBB (∼)⊆A×B(∼)⊆A×B(\sim) \subseteq A \times B Jeżeli oraz a ′ ∼ b ′ i a ∼ b ′ , to a ′ ∼ b . a∼ba∼ba \sim ba′∼b′a′∼b′a' \sim b'a ∼ b′za∼b′a \sim b'za′∼...