... λ) over Σ•(m) such that λ(n) = (λ1(n),...,λ m(n)) for each n ∈ S. An m-ary relation on the alphabet Σ is a set of tuples of the form (T1 ,...,T m), ...
確定! 回上一頁