Initialize. Qlist(η, x, s) to undefined for all x ∈ ω. Outcome of η: Exactly the same as the η-outcome of Theorem 2.1 – η has outcome ∞ iff s ...
確定! 回上一頁