To decide whether x ∈ A* − S, where x ∈ A*, run v(x), defined as follows.
v(x): if x ∈ S answer no else answer yes