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